SAT-Based Scalable Formal Verification Solutions - Ganai, Malay K.; Gupta, Aarti; SpringerLink (Online service) (Boston, MA : Springer Science+Business Media, LLC, 2007)
Keywords: Integrated circuits -- Verification; Computer Science; Computer-Aided Engineering (CAD, CAE) and Design; Circuits and Systems; Electronic and Computer Engineering