Formal Fault Injection

Formal Fault Injection is a verification technique used in safety critical automotive devices as well as other high reliability applications. Safety mechanisms are one of the most critical areas of ISO-26262 compliant automotive designs and their architecture and quality is a key differentiator for various IC providers.

Mark Handover of Mentor Graphics, discussed on the impact of a fault injection safety mechanism for ISO 26262 at the DVClub Europe Conference, “Impact of Safety on Verification”,  on 29th November 2016.

The Presentation Slides and Recordings of Formal Fault Injection are available now