Hachtel, Gary D <br/><br/>
Logic synthesis and varification algoritms / 
Hachtel, Gary D. 
 - Colorado:  Springer,  2006. 
 - 564p;25cm 
<br/><br/>Includes bibliographical references. 
<br/><br/><label>ISBN: </label>8181284836 
<br/><br/><label>Dewey Class. No.: </label>511.6 HAC