Lam William K C  1962 <br/><br/>
Hardware design verification :  simulation and formal method-based approaches / 
William K. Lam. 
 - Upper Saddle River, NJ :  Prentice Hall Professional Technical Reference,  c2005. 
 - xxv, 585 p. :  ill. ;  24 cm. 
 - Prentice Hall modern semiconductor design series .
<br/><br/>Includes bibliographical references (p. 539-559) and index. 
<br/><br/><label>ISBN: </label>0131433474 (alk. paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Integrated circuits--Verification
<br/><br/><label>LC Class. No.: </label>TK7874.58 
<br/><br/><label>Dewey Class. No.: </label>621.39/2