SAT-Based Scalable Formal Verification Solutions - Ganai, Malay K.; Gupta, Aarti; SpringerLink (Online service) (Boston, MA : Springer US, 2007)
Keywords: Computer science; Computer aided design; Computer engineering; Systems engineering; Computer Science; Computer-Aided Engineering (CAD, CAE) and Design; Circuits and Systems; Electrical Engineering