TY  - BOOK
AU  - Fujita, Masahiro, Ghosh, Indradeep
AU  - Prasad, Mukul
TI  - Verification techniques for system-level design
SN  - 9780123706164
U1  - 621.3815 
PY  - 2008///
CY  - Amsterdam
PB  - Elsevier
KW  - System On A Chip -- Testing. 2.Integrated Circuits -- Verification. 3.Formal Method (Computer Science)
ER  -