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

 - N.Delhi  Subhas Stores Books Corner  2013 
 - 431 
<br/><br/><label>ISBN: </label>NMIT011644