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.