Versandkostenfrei!
Versandfertig in 2-4 Wochen
115,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
58 °P sammeln!
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 techniques into their work. Formal Verification (FV) enables a designer to directly analyze and mathematically explore the quality or other aspects of a Register Transfer Level (RTL) design without using simulations. This can reduce time spent validating designs and more quickly reach a final design for manufacturing. Building on a basic knowledge of SystemVerilog, this book demystifies FV and pr...