TY - BOOK AU - Fujita, Masahiro AU - Fujita, MasahiroGhosh, Indradeep, Prasad, Mukul TI - Verification techniques for system - level design SN - 9780123706164 U1 - 621.3815 FUJ/GHO PY - 2011/// CY - AMSTERDAM PB - Elsevier KW - ELECTRONICS AND COMMUNICATION ENGINEERING ER -