TY  - BOOK
AU  - Pradhan,Dhiraj K.
AU  - Harris,Ian G.
TI  - Practical design verification
SN  - 9780521859721 (hardback)
PY  - 2009///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Integrated circuits
KW  - Verification
N1  - Includes bibliographical references and index; Model checking and equivalence checking -- Transaction-level system modeling -- Response checkers, monitors, and assertions -- System debugging strategies -- Test generation and coverage metrics -- SystemVerilog and Vera in a verification flow -- Decision diagrams for verification -- Boolean satisfiability and EDA applications
ER  -