Normal view MARC view ISBD view

Formal verification

Seligman, Erik TOM Schubert Achutha Kiran Kumar

Formal verification an essential toolkit for modern VLSI design - Hampshire Street Elsevier/MK 2023 - xix, 405 p. ill. 24 cm.

Includes index.

ISBN: 9780323956123 (pbk)

Subjects--Topical Terms:
Electronic circuits Testing--Formal Verification Algorithms--Design and construction--Greatest Bloopers--Design Exercise--FC

Dewey Class. No.: 621.395 / SEL

Place hold
Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)