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

February 2026

• 

  AI Assisted FPU Verification Using Questa One SFV

  Formal Verification Feb 25, 2026 Gerardo Nahum Webinar

January 2026

• 

  Achieving Mathematical Certainty in Design Verification with Formal

  Formal Verification Jan 31, 2026 Nicolae Tusinschi Paper

• Achieving Mathematical Certainty in Design Verification with Formal

  Formal Verification Jan 31, 2026 Nicolae Tusinschi pdf

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