TY  - BOOK
AU  - Mintz,Mike
AU  - Ekendahl,Robert
TI  - Hardware verification with C++: a practitioner's handbook 
SN  - 0387255435
PY  - 2006///
CY  - New York
PB  - Springer
KW  - Integrated circuits
KW  - Verification
KW  - C++ (Computer program language)
ER  -