TY  - BOOK
AU  -  Schubert, E. Thomas  (Author), 
AU  - Kumar, M. V. Achutha Kiran  (Author)
TI  -  Formal verification: an essential toolkit for modern VLSI design
SN  - 9780323956123
AV  - TK7874.75 SEL 2023
PY  - 2023///
CY  -  Cambridge, MA: 
PB  - Morgan Kaufmann
KW  -  Electronic circuits Testing
KW  - Integrated circuits Very large scale integration Design and construction
N2  - 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
ER  -