Safety critical development processes, governed by standards such as ISO26262, include the use of fault correction components that protect the device against random faults that occur naturally during operation. The verification of these devices to ensure that a high proportion of these faults will be handled correctly is essential, driving a key diagnostic fault coverage metric. Formal verification has proven an important element in this analysis, used both standalone and with simulation.
Jörg Große, Product Manager for Functional Safety at OneSpin, presented why formal verification has proven a highly effective method to drive high diagnostic fault coverage metric on real world designs at the DVClub Europe Conference which took place on 29th November 2016.
Find out the Presentation Slides and Videos here