Verification techniques for system-level design /

Bibliographic Details
Main Author:	Fujita, Masahiro, 1956-
Other Authors:	Ghosh, Indradeep, 1970-, Prasad, Mukul
Format:	Book
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)

Evans: Library Stacks