Browsing by Subject "SAT"
Now showing items 1-3 of 3
-
(2013-12-10)This dissertation focuses on improving the accuracy and efficiency of path delay test generation using a Boolean satisfiability (SAT) solver. As part of this research, one of the most commonly used SAT solvers, MiniSat, ...
-
(2017-07-28)The purpose of this quantitative record of study was to explore the relationship between performance on EBRW scores on the SAT and participation in dual credit, advanced placement, or on-level junior English coursework. ...
-
(2012-07-16)The wide application of analog and mixed-signal (AMS) designs makes the verification of AMS circuits an important task. However, verification of AMS circuits remains as a significant challenge even though verification ...