TY  - BOOK
AU  - Haque, Faisal I...[et al]
TI  - The art of verification with Vera
SN  - 097119940X
U1  - 808.1 VER 
PY  - 2001///
CY  - Fremont, Calif. 
PB  - : Verification Central, 
KW  -  OpenVera (Computer hardware verification language)
KW  - Application-specific integrated circuits -- Testing.
KW  - The art of verification with Vera
KW  - computer science
KW  - Faisal I Haque
ER  -