Verification techniques for system-level design
By: Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.
Contributors: Ghosh, Indradeep, 1970-; Prasad, Mukul.
Series: The Morgan Kaufmann series in systems on silicon
Publisher: Morgan Kaufmann Publishers
Published: 2008
Place of publication: Amsterdam; Boston
Language: eng
Number of pages: 240
ISBN-13: 9780123706164
Subjects: Systems on a chip -- Testing; Integrated circuits -- Verification; Formal methods (Computer science)
Notes: Includes bibliographical references and index.