TY  - BOOK
AU  - Mintz 
AU  - Ekendahl, Robert
TI  - Hardware verification with C++ : a practitioner's handbook 
SN  - 0387255435 
U1  - 621.3815 MIN 2006 
PY  - 2006///
CY  - New York
PB  - Springer Science+Business Media
KW  - Integrated circuits
KW  - Verification
N1  - Includes index p.(327) - 341
ER  -