Ganai, Malay K. <br/><br/>
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 .
<br/><br/><label>ISBN: </label>9780387691671 (electronic bk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Integrated circuits--Verification.<br/>Computer Science.<br/>Computer-Aided Engineering (CAD, CAE) and Design.<br/>Circuits and Systems.<br/>Electronic and Computer Engineering.
<br/><br/><label>Dewey Class. No.: </label>621.381548