close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

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.


Semiconductor Engineering logo

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.


Related Links