Incorporating hardware safety measures in designs inevitably causes overhead in terms of area, propagation delays, and power consumption. Holger Busch, Senior Staff Engineer at Infineon Technologies recently spoke on how an automated formal safety verification flow not only ensures the effectiveness of the actually installed safety measures in instantiated designs, but also provide evidence that hardware elements are actually covered and safeguarded as specified, as needed for safety certification according to ISO26262 at the Formal Verification Conference on 16 June 2016.

The Presentation Slides and Recordings of Verifying Safety-Specification Compliance of RTL Designs are available now!