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

February 2025

• Leveraging Trust and Security Analysis to Meet Design Assurance Requirements

  Formal Verification Feb 06, 2025 David Landoll pdf

October 2024

• Designing Secure and Performant Out-of-Order Processors Enabled by Formal Verification

  Formal Verification Oct 17, 2024 Mohammad R. Faddideh - Stanford University mp4

• Designing Secure and Performant Out-of-Order Processors Enabled by Formal Verification

  Formal Verification Oct 17, 2024 Mohammad R. Faddideh - Stanford University pdf

February 2024

• 

  Functional Verification Workflow for Trusted and Assured Microelectronics

  Formal Verification Feb 06, 2024 John Hallman Webinar

• Functional Verification workflow for Trusted and Assured Microelectronics

  Formal Verification Feb 06, 2024 John Hallman pdf

November 2015

• 

  Minimizing Constraints to Debug Vacuous Proofs

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