T&VS organized a European DVClub on 29th November 2016 with a focus on “Safety Driven Verification”.  Speakers were from Mentor Graphics, Cadence, Imperas, and One Spin Solutions and the presentations are now available on the T&VS website.

  • Imperas Software, Simon Davidmann

Software Verification for Low Power, Safety Critical Systems

  • Cadence, John Brennan

ISO 26262 – This Changes Everything

  • One Spin Solutions, Jörg Große

Formal Fault Analysis for ISO 26262 Fault Metrics on Real World Designs

  • Mentor Graphics, Mark Handover

Formal Fault Injection

The Presentation Slides and Recordings are available here