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
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 146848-2001 | ONLINE | | Elektronik Kütüphane |