TY  - BOOK
AU  - Masahiro Fujita-Indradeep Ghosh-Mukul Prasad
TI  - Verification Techniques for System-Level Design
T2  - The Morgan Kaufmann Series in Systems on Silicon
SN  - 9780080553139
AV  - TK7895.E42 F95 2008eb 
U1  - 621.3815 
PY  - 2008///
PB  - Morgan Kaufmann
KW  - Formal methods (Computer science),Integrated circuits--Verification.,Systems on a chip--Testing
KW  - TECHNOLOGY & ENGINEERING / Industrial Design / Product
UR  - https://search.ebscohost.com/login.aspx?direct=true&db=e230xww&scope=site&site=ehost-live&AN=210385
ER  -