HACHTEL, GARY. D. <br/><br/>
LOGIC SYNTHESIS AND VERIFICATION ALGORITHMS. 

 -  2006 
 - NEW DELHI  SPRINGER (INDIA) PVT. LTD. 
 - 567 
<br/><br/><label>Subjects--Topical Terms: </label><br/>  LOGIC SYNTHESIS
<br/><br/><label>Dewey Class. No.: </label>621.317.317  / HAC