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)
• Leto izdaje: 2008
• Jezik: English
• Serija: Morgan Kaufmann series in systems on silicon.
• Fizični opis: viii, 240 p. :; ill.
• Bibliografija: Includes bibliographical references and index.
• ISBN: 9780123706164 (pbk.); 0123706165 (pbk.)
• Hierarchical level: Monograph
• Statement of Responsibility: Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.