Browse all content in Verification Academy: Articles, Cookbooks, Resources, Sessions, and Tracks

March 2025

• GOMACTech 2025 Preview: FPGA Safety and Security Policy Compliance via HDL-to-Bitstream Equivalence Checking

  FPGA Verification Mar 04, 2025 Joe Hupcey link

June 2016

• Verifying Safety-Related Systems

  Functional Safety Jun 20, 2016 Dr. Mike Bartley pdf

November 2015

• ISO 26262 Fault Analysis – Worst Case is Really the Worst

  Functional Safety Nov 10, 2015 Avidan Efody Article

October 2015

• Getting ISO 26262 Faults Straight

  Functional Safety Oct 23, 2015 Avidan Efody Article