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,  2005 
 - 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)  RM355.20 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Integrated circuits--Verification