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.
• ISBN: 9780123706164 (pbk.); 0123706165 (pbk.)
• Hierarchical level: Monograph
• Statement of Responsibility: Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.