TY  - BOOK
AU  - Pradhan, Dhiraj K
AU  - Harris, Ian G
TI  - Practical Design Verification
SN  - 9780521859721
U1  - 621.381548 PRA 
PY  - 2009///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Integrated circuits - Verification
N1  - <p>Table of Contents:</p>

<p>1. Model
ER  -