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)
• Yayın Tarihi: 2008
• Dil: English
• Seri Bilgileri: Morgan Kaufmann series in systems on silicon.
• Fiziksel Özellikler: viii, 240 p. :; ill.
• Bibliyografya: Includes bibliographical references and index.
• ISBN: 9780123706164 (pbk.); 0123706165 (pbk.)
• Hierarchical level: Monograph
• Statement of Responsibility: Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.