T&VS organized a European DVClub on 28th November 2017 with a focus on “Methodologies for Rigorous Safety Verification”. Speakers were from Mentor Graphics, Cadence, Infineon, and One Spin Solutions and the presentations are now available on the T&VS website.

  • Ann Keffer, Product Management Director, Cadence Design Systems

Methodologies for Rigorous Safety Verification

  • Jörg Große, Product Manager Safety Critical Solution, OneSpin Solutions

Formal fault analysis for ISO 26262 fault metrics on real world designs

  • Krishna Priya Chakiat Ramamoorthy, Lead Concept Engineer, Infineon Technologies UK Ltd

Customizing APIS IQ software for ISO26262 safety analysis – closing the gap from concept to verification

  • Abdel Ayari, Digital Design & Verification Solutions Applications Engineer, Mentor, A Siemens Business

How Formal Reduces Fault Analysis for ISO 26262 Safety Verification

The Presentation Slides and Recordings are available here