Lam, William K. <br/><br/>
Hardware design verification :  simulation and formal method-based approaches / 
William K. Lam 
 - Upper Saddle River, NJ :  Prentice Hall,  2005 
 - xxv, 585 p. :  ill. ;  25 cm. 
<br/><br/>Includes bibliographical references (p. 539-559) and index 
<br/><br/><label>ISBN: </label>0131433474 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Integrated circuits--Verification