Formal verification : an essential toolkit for modern VLSI design/
Formal verification : an essential toolkit for modern VLSI design/
Erik Seligman (Author), E. Thomas Schubert (Author), M. V. Achutha Kiran Kumar (Author)
- Cambridge, MA: Morgan Kaufmann, 2023.
- 424 pages : illustrations, 25 CM
Formal Verification: An Essential Toolkit for Modern VLSI Design, Second Edition presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these
9780323956123
Electronic circuits Testing
Integrated circuits Very large scale integration Design and construction
TK7874.75 / SEL 2023
Formal Verification: An Essential Toolkit for Modern VLSI Design, Second Edition presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these
9780323956123
Electronic circuits Testing
Integrated circuits Very large scale integration Design and construction
TK7874.75 / SEL 2023