TY  - BOOK
AU  - Vasudevan,Srivatsa
TI  - Effective functional verification: principles and processes 
SN  - 0387286012
PY  - 2006///
CY  - Dordrecht
PB  - Springer
KW  - Integrated circuits
KW  - Verification
N1  - Includes bibliographical references and index
ER  -