TY  - BOOK
AU  - Kundu, Sudipta
AU  - Gupta, Rajesh K.
AU  - Lerner, Sorin
TI  - High-Level Verification: methods and tools for verification of system-level designs
SN  - 9781441993588
U1  - 621.381548 KUN 
PY  - 2011///
CY  - New York
PB  - Springer Verlag, Netherlands
KW  - Systems on a chip -- Design
KW  - Systems on a chip -- Testing
N1  - <p>Table of Contents:</p>

<p>1. Introd
ER  -