Image from Amazon.com
Formal verification : an essential toolkit for modern VLSI design / Erik Seligman, Tom Schubert, M V Achutha Kiran Kumar
Material type:
TextPublisher: Cambridge, MA : Morgan Kaufmann, 2023Copyright date: ©2023Edition: Second editionDescription: 1 online resourceContent type: - text
- computer
- online resource
- 9780323956123
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
E-book
|
UMPLIB PEKAN | Non-fiction | TK7874.75 .S45 2023 (Browse shelf(Opens below)) | 1 | Available | E000005197 |
Includes bibliographical references and index