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

October 2025

• Boosting Verification of an IEEE Compliant FPU with Formal and AI Capabilities

  Machine Learning Oct 16, 2025 Zvi Ben Yosef - Nextsilicon mp4

• Boosting Verification of an IEEE Compliant FPU with Formal and AI Capabilities

  Machine Learning Oct 16, 2025 Zvi Ben Yosef - Nextsilicon pdf

February 2025

• 

  FPU Verification with an Alternative to C-reference Model

  Formal Verification Feb 05, 2025 Gerardo Nahum Webinar

• FPU Verification with an Alternative to C-reference Model

  Formal Verification Feb 05, 2025 Gerardo Nahum pdf

March 2016

• 

  Simplified UVM for FPGA Reliability: UVM for “Sufficient Elemental Analysis” in DO-254 Flows

  Functional Safety Mar 02, 2016 Shashi Bhutada - Siemens Eda Article