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

February 2026

• Beyond Simulation: Unlocking Absolute Certainty in Hardware Design with Formal Verification

  Formal Verification Feb 16, 2026 Nicolae Tusinschi link

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

November 2025

• 

  HLV: Formal Verification of Synthesizable C++/SystemC Designs

  Formal Verification Nov 05, 2025 Vlada Kalinic Webinar

• HLV: Formal Verification of Synthesizable C++/SystemC Designs

  Formal Verification Nov 05, 2025 Vlada Kalinic pdf

September 2025

• Why First-Silicon Success Is Getting Harder for System Companies

  Planning, Measurement and Analysis Sep 03, 2025 Harry Foster link

June 2025

• 

  Accelerating Functional Coverage with Questa One CX

  Coverage Jun 18, 2025 Chris Crile Webinar

• Accelerating Functional Coverage with Questa One CX

  Coverage Jun 18, 2025 Chris Crile pdf

August 2021

• 

  Exploration into Safety Analysis Techniques that Optimize the Safety Workflow

  Functional Safety Aug 13, 2021 Ann Keffer Webinar

November 2015

• 

  Minimizing Constraints to Debug Vacuous Proofs

  Formal Verification Nov 01, 2015 Anshul Jain - Oski Technology Article

June 2014

• 

  Use of Iterative Weight-Age Constraint to Implement Dynamic Verification Components

  Coverage Jun 16, 2014 Mahak Singh, Siddhartha Mukherjee - Truechip Article

March 2014

• 

  Dealing With UVM and OVM Sequences

  UVM - Universal Verification Methodology Mar 31, 2014 Hari Patel, Dhaval Prajapati - Einfochips Article