Verification techniques for system-level design
By: Fujita, Masahiro, Ghosh, Indradeep.
Contributor(s): Prasad, Mukul.
Material type: BookSeries: The Morgan Kaufmann Series In Systems On Silicon. Publisher: Amsterdam Elsevier 2008Description: viii, 240p.ISBN: 9780123706164.Subject(s): System On A Chip -- Testing. 2.Integrated Circuits -- Verification. 3.Formal Method (Computer Science)DDC classification: 621.3815 | F955vItem type | Current location | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | PK Kelkar Library, IIT Kanpur | General Stacks | 621.3815 F955v (Browse shelf) | Available | A160090 |
Total holds: 0
There are no comments for this item.