Molitor Paul <br/><br/>
Equivalence checking of digital circuits fundamentals principles methods 

 - 1ST Ed. 
 -  Kiuwer Academic Pub.  2004 
 - 262p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>ETC
<br/><br/><label>Dewey Class. No.: </label>621.395