TY  - BOOK
AU  - Kundu, Sudipta
TI  - High-Level Verification: Methods and Tools for Verification of System-Level Designs
SN  - 9781441993588
U1  - 621.38 
PY  - 2011///
CY  - London
PB  - Springer
ER  -