TY  - DATA
AU  - Masahiro Fujita-Indradeep Ghosh-Mukul Prasad
TI  - Verification Techniques for System-Level Design
T2  - The Morgan Kaufmann Series in Systems on Silicon
SN  - 9780123706164
PB  - Morgan Kaufmann
KW  -  Computer Architecture
KW  - COMPUTERS
KW  - Formal methods (Computer science),Integrated circuits--Verification.,Systems on a chip--Testing
UR  - https://search.ebscohost.com/login.aspx?direct=true&db=e000xww&site=ehost-live&scope=site&AN=210385
ER  -