Verification techniques for system-level design /

Verification techniques for system-level design /

Show other versions (2)
Saved in:
Bibliographic Details
Main Author: Fujita, Masahiro (Author)
Other Authors: Ghosh, Indradeep, Prasad, Mukul
Format: Book
Language:English
Published: Burlington, MA : Morgan Kaufmann, 2008.
Series:The Morgan Kaufmann series in systems on silicon
Subjects:
Systems on a chip > Testing.
Integrated circuits > Verification.
Formal methods (Computer science).
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:viii, 240 pages : illustrations ; 25 cm.
ISBN:0123706165
9780123706164

Similar Items