Verification techniques for system-level design /

This book will explain how to verify SoC logic designs using formal and semi-formal verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been used for checking the correctness of SoC designs (as...

Full description

Bibliographic Details

Main Author:	Fujita, Masahiro, 1956-
Corporate Author:	ScienceDirect (Online service)
Other Authors:	Ghosh, Indradeep, 1970-, Prasad, Mukul
Format:	eBook
Language:	English
Published:	Amsterdam ; Boston : Morgan Kaufmann Publishers, [2008]
Series:	Morgan Kaufmann series in systems on silicon.
Subjects:	Systems on a chip > Testing. Integrated circuits > Verification. Formal methods (Computer science) Electronic books.
Online Access:	Connect to the full text of this electronic book Publisher description