Hachtel, Gary D <br/><br/>
Logic synthesis and verification algorithms 

 - London  Kluwer Academic  1996 
 - xxxii, 564p.  
<br/><br/><label>ISBN: </label>792397460 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer-aided design<br/>Integrated circuits -- Verification<br/>Integrated circuits -- Very large scale integration -- Design -- Data processing<br/>logic design -- Data processing