Verification techniques for system-level design
by
 
Fujita, Masahiro, 1956-

Title
: 
Verification techniques for system-level design

Author
: 
Fujita, Masahiro, 1956-

ISBN
: 
9780123706164

Publication Information
: 
Amsterdam ; Boston : Morgan Kaufmann Publishers, c2008.

Physical Description
: 
1 online resource (viii, 240 p.) : ill.

Series
: 
The Morgan Kaufmann series in systems on silicon

Series Title
: 
The Morgan Kaufmann series in systems on silicon

Subject Term
: 
Systems on a chip -- Testing.
 
Integrated circuits -- Verification.
 
Formal methods (Computer science)

Added Author
: 
Ghosh, Indradeep, 1970-
 
Prasad, Mukul.

Electronic Access
: 
ScienceDirect http://www.sciencedirect.com/science/book/9780123706164


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book146848-2001ONLINEElektronik Kütüphane