Formal Verification: An Essential Toolkit for Modern VLSI Design 9780323956123, 0323956122

Formal Verification: An Essential Toolkit for Modern VLSI Design, Second Edition presents practical approaches for desig

222 58 51MB

English Pages 424

Report DMCA / Copyright

DOWNLOAD FILE

Formal Verification: An Essential Toolkit for Modern VLSI Design
 9780323956123, 0323956122

Polecaj historie