TY  - BOOK
AU  - Lam,William K.
TI  - Hardware design verification: simulation and formal method-based approaches 
SN  - 0131433474
PY  - 2005///
CY  - Upper Saddle River, NJ
PB  - Prentice Hall
KW  - Integrated circuits
KW  - Verification
N1  - Includes bibliographical references (p. 539-559) and index
ER  -