
Tell your friends about this item:
Formal Verification: An Essential Toolkit for Modern VLSI Design 2nd edition
Seligman, Erik (Senior Product Engineering Architect, Cadence Design Systems)
Formal Verification: An Essential Toolkit for Modern VLSI Design 2nd edition
Seligman, Erik (Senior Product Engineering Architect, Cadence Design Systems)
508 pages
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | May 26, 2023 |
ISBN13 | 9780323956123 |
Publishers | Elsevier Science & Technology |
Pages | 424 |
Dimensions | 235 × 190 × 22 mm · 882 g |
Language | English |