Browsing by Author "Bian, Kun"
Now showing items 1-1 of 1
-
Bian, Kun (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, ...