Verification techniques for system-level design /

Saved in:

Bibliographic Details
Main Author:	Fujita, Masahiro, 1956-
Other Authors:	Ghosh, Indradeep, 1970-, Prasad, Mukul
Format:	Book
Language:	English
Published:	Amsterdam ; Boston : Morgan Kaufmann Publishers/Elsevier, [2008], ©2008.
Series:	Morgan Kaufmann series in systems on silicon.
Subjects:	Systems on a chip > Testing. Integrated circuits > Verification. Formal methods (Computer science) Systems on a chip. Testing. Integrated circuits.

Hesburgh Library General Collection

Holdings details from Hesburgh Library General Collection
Call Number:	TK 7895 .E42 F95 2008
	Available Request Request a scan of an article or book chapter