Authors | |
Publisher | Elsevier Science & Technology |
Year | 01/05/2023 |
Pages | 508 |
Version | paperback |
Readership level | Professional and scholarly |
Language | English |
ISBN | 9780323956123 |
Categories | Circuits & components |
Formal Verification: An Essential Toolkit for Modern VLSI Design