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

Saved in:

Bibliographic Details
Online Access:	Publisher description
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)

Internet

Publisher description

Holdings details from PASCAL Offsite
Call Number:	TK7895.E42 F95 2008
TK7895.E42 F95 2008	Available Place a Hold