Test pattern generation using boolean proof engines  [electronic resource] / 
by Rolf Drechsler, ... [et al.]. 
 - Dordrecht :  Springer Netherlands,  2009. 
 - xii, 192 p. :  ill., digital ;  24 cm. 
<br/><br/><label>ISBN: </label>9789048123605 (electronic bk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Integrated circuits--Verification.<br/>Computer software--Verification.<br/>Computer algorithms.<br/>Algebra, Boolean.<br/>Electronics and Microelectronics, Instrumentation.<br/>Circuits and Systems.
<br/><br/><label>LC Class. No.: </label>TK7874.58  / .T47 2009 
<br/><br/><label>Dewey Class. No.: </label>621.39501511324