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

 - 2 
 - New Delhi  New Age Intl.P.Ltd.,  2003 
 - 558 
<br/><br/><label>ISBN: </label>NMIT011643