The ISO 26262 standard defines straightforward metrics for evaluating the “safeness” of a design by defining safety goals, safety mechanisms, and fault metrics. However, determining those metrics is difficult because evaluating every possible fault is impractical on the size of today’s designs. Formal verification tools have an advantage over other approaches because formal tools have the unique ability to trace cones of influence and eliminate large numbers of irrelevant faults in a process known as fault pruning. Formal tools provide unique capabilities that are essential for any automotive functional safety flow.

Abdel Ayari, Digital Design & Verification Solutions Applications Engineer at Mentor Graphics discussed onhow formal reduces fault analysis for ISO26262 safety verificationat the DVClub Europe Conference- “Methodologies for Rigorous Safety Verification”, which took place on 28th November 2017.

The Presentation Slides and Recordings are now available!