Normal view MARC view ISBD view

Verification techniques for system-level design [electronic resource] / Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.

By: Fujita, Masahiro, 1956-.
Contributor(s): Ghosh, Indradeep, 1970- | Prasad, Mukul | ebrary, Inc.
Series: Morgan Kaufmann series in systems on silicon: Publisher: Amsterdam ; Boston : Morgan Kaufmann Publishers, c2008Description: 1 online resources (viii, 240 p. : ill.).ISBN: 9780080553139 (ebk.).Subject(s): Systems on a chip -- Testing | Integrated circuits -- Verification | Formal methods (Computer science)Genre/Form: Electronic books.DDC classification: 621.3815 Online resources: An electronic book accessible through the World Wide Web; click to view