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

March 2026

• 

  Beyond Bigger Designs: Rethinking Verification for the Era of Convergence

  Machine Learning Mar 03, 2026 Abhi Kolpekwar Conference

May 2025

• Automated Trust and Assurance for ASIC and FPGA Designs: Mitigating Security Risks with Formal Verification

  Formal Verification May 01, 2025 Mitchell Poplingher mp4

• Automated Trust and Assurance for ASIC and FPGA Designs: Mitigating Security Risks with Formal Verification

  Formal Verification May 01, 2025 Mitchell Poplingher pdf

February 2025

• Leveraging Trust and Security Analysis to Meet Design Assurance Requirements

  Formal Verification Feb 06, 2025 David Landoll pdf