Hachtel, Gary D.  Somenzi, Fabio <br/><br/>
Logic Synthesis and Verification Algorithms   

 -  Kluwer Academic Publishers  1996. 
 - 597 Pages 
<br/><br/><label>ISBN: </label>0306475928 
<br/><br/><label>Dewey Class. No.: </label>621.39/5  /