Koha online

HTML5 Icon

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/F
Item type Current location Collection Call number Status Date due Barcode
Book Book Central Library
General Stack (Sahyadri Campus) 		621.395 SEL/F Available 06477
Reference Reference Central Library
Reference (Sahyadri Campus) 		Reference 621.395 SEL/F Not for loan 06476

Imp. Notice: It is hereby requested to all the library users to very carefully use the library resources. If the library resources are not found in good condition while returning to the library, the Central Library will not accept the damaged items and a fresh copy of the same should be replaced by the user. Marking/ highlighting on library books with pencil or ink, scribbling, tearing the pages or spoiling the same in any other way will be considered damaged.