TY  - BOOK
AU  - Lam, William K.
TI  - Hardware Design Verification: Simulation and Formal Method-Based Approaches
SN  - 9780131433472
U1  - 621.39 
PY  - 2005///
CY  - New York
PB  - Prentice Hall
KW  - Electrical Engineering
N1  - An Invitation to Design Verification Coding for Verification Simulator Architectures and Operations Test Bench Organization and Design Test Scenarios, Assertions, and Coverage Debugging Process and Verification Cycle Formal Verification Preliminaries Design Diagrams, Equivalence Checking, and Symbolic Simulation Model Checking and Symbolic Computation
ER  -