Verification techniques for system-level design / Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.

• Superior document: The Morgan Kaufmann series in systems on silicon
• Author: ProQuest (Firm); Fujita, Masahiro, 1956-
• TeilnehmendeR: Ghosh, Indradeep, 1970-; Prasad, Mukul.; ProQuest (Firm)
• প্রকাশনার বছর: 2008
• ভাষা: English
• মালা: Morgan Kaufmann series in systems on silicon.
• দৈহিক বর্ননা: viii, 240 p. :; ill.
• গ্রন্থ-পঞ্জী: Includes bibliographical references and index.
• আইসবিএন: 9780123706164 (pbk.); 0123706165 (pbk.)
• Hierarchical level: Monograph
• Statement of Responsibility: Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.