Formal verification: an essential toolkit for modern VLSI design
By: Seligman, Erik
Contributor(s): Schubert, Tom | Kumar, M V Achutha Kiran
Language: English Publisher: Amsterdam Morgan Kaufmann/Elsevier 2015Edition: 1st edDescription: xvii, 353pISBN: 9780128007273Subject(s): Integrated circuits -- Very large scale integration -- Design and constructionDDC classification: 621.395 SEL/FItem type | Current location | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Book | Central Library General Stack (Sahyadri Campus) | 621.395 SEL/F | Available | 06477 | ||
Reference | Central Library Reference (Sahyadri Campus) | Reference | 621.395 SEL/F | Not for loan | 06476 |