TY  - BOOK
AU  - Vasudevan, Srivatsa
TI  - Effective Functional Verification: principles and processes
SN  - 0387286012
U1  - 621.3815 VAS 
PY  - 2006///
CY  - The Netherlands
PB  - Springer Verlag, Netherlands
KW  - Integrated circuits - Verification
N1  - <p>Contents:</p>

<p>1. An Introduction
ER  -