Latest from EDA

ID 22585047 © Agsandrew | Dreamstime.com
id_22585047__agsandrew__dreamstime_new
ID 361819724 © Anastasiia Torianyk | Dreamstime.com
chip_dreamstime_l_361819724
Sigasi
11myths_promo1920x1080
ID 25353500 © Vectorlart | Dreamstime.com
waves_dreamstime_l_25353500
Cadence/PCI-SIG (redrawn by William Wong/EBM)
promo__cadence__pcisig
Dreamstime_alla_rudenko_323879476
pcboard_dreamstime_allarudenko_323879476
11 Myths 6373e34d08d3a

11 Myths About Using Formal Verification (Download)

Nov. 15, 2022

Read this article online.

The advantages of formal verification are well-known and accepted in semiconductor development. This wasn’t always the case; a few decades ago, formal technology was widely regarded as an exotic technique requiring “magic” to be used successfully on a real project. Over this span, many success stories of truly scary bugs found before signoff have helped to raise awareness of—and confidence in—formal verification.

The ability to mathematically prove exhaustively that a chip design meets a set of assertions is a clear contrast with simulation, which can’t come up with proof of bug absence. If proof can’t be achieved due to legal design scenarios that violate the assertions, the formal tool presents these as counterexamples and provides information to help designers debug them. Users provide constraints that keep the formal analysis within legal bounds, ensuring that counterexamples are real failure scenarios that could occur in post-silicon chip usage.

Comments

To join the conversation, and become an exclusive member of Electronic Design, create an account today!