Lam, William K. C., ,  1962- <br/><br/>
Hardware design verification  simulation and formal method-based approaches  /  [Book :] 
William K. Lam. 
 - 1st.ed. 
 - Upper Saddle River, NJ :   Prentice Hall Professional Technical Reference,  2005. 
 - xxv, 585 p. :  ill. ;  24 cm. 
 - Prentice Hall modern semiconductor design series .
<br/><br/> All age. 
<br/><br/><label>ISBN: </label>0131433474 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Integrated circuits--Verification.
<br/><br/><label>Dewey Class. No.: </label>621.392 
<br/><br/><label>National Library of Medicine Call No.: </label>621.392  / LH