A Combined Design And Verification Flow For Safety-Critical Designs
By Tom Anderson and Srikanth Rengarajan, Semiconductor Engineering
Formal verification is at the heart of finding both introduced and random errors.
[…]
We would like to focus on safety-critical designs, a topic very much in the news these days because of the public’s fascination with autonomous vehicles. This consumer category now joins medical electronics, aeronautics, aerospace, and military applications in having high demands for safety. The consequences of semiconductor component failure in any of these domains are severe, involving serious injury or even death.