SAT-Based Scalable Formal Verification Solutions
Ganai, Malay K.
SAT-Based Scalable Formal Verification Solutions [electronic resource] / by Malay K. Ganai, Aarti Gupta. - Boston, MA : Springer Science+Business Media, LLC, 2007. - xxix, 326 p. : ill., digital. - Series on Integrated Circuits and Systems, 1558-9412 .
9780387691671 (electronic bk.)
Integrated circuits--Verification.
Computer Science.
Computer-Aided Engineering (CAD, CAE) and Design.
Circuits and Systems.
Electronic and Computer Engineering.
621.381548
SAT-Based Scalable Formal Verification Solutions [electronic resource] / by Malay K. Ganai, Aarti Gupta. - Boston, MA : Springer Science+Business Media, LLC, 2007. - xxix, 326 p. : ill., digital. - Series on Integrated Circuits and Systems, 1558-9412 .
9780387691671 (electronic bk.)
Integrated circuits--Verification.
Computer Science.
Computer-Aided Engineering (CAD, CAE) and Design.
Circuits and Systems.
Electronic and Computer Engineering.
621.381548