TY  - DATA
AU  - Mintz,Mike
AU  - Ekendahl,Robert
ED  - SpringerLink (Online service)
TI  - Hardware Verification with C++: A Practitioner’s Handbook 
SN  - 9780387362540
PY  - 2006///
CY  - Boston, MA
PB  - Springer Science+Business Media, LLC
KW  - Computer aided design
KW  - Computer engineering
KW  - Computer Science
KW  - engineering
KW  - Systems engineering
KW  - Engineering
KW  - Circuits and Systems
KW  - Computer-Aided Engineering (CAD, CAE) and Design
KW  - Electronic and Computer Engineering
KW  - Programming Languages, Compilers, Interpreters
UR  - http://dx.doi.org/10.1007/978-0-387-36254-0
ER  -