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

November 2025

• Introducing BUGGED OUT — A new bite-sized podcast for verification engineers

  Planning, Measurement and Analysis Nov 10, 2025 Harry Foster link

• 

  BUGGED OUT Podcast

  Planning, Measurement and Analysis Nov 10, 2025 Harry Foster Podcast

October 2025

• Ground Truth in the Age of AI: Abstract Models as the Anchor of Verification

  Machine Learning Oct 16, 2025 Tobias Ludwig - Lubis Eda pdf

• Harnessing AI for Real-world Hardware Verification

  Machine Learning Oct 16, 2025 Matthew Taylor - Doulos pdf

• 

  osmosis Europe 2025

  Formal Verification Oct 16, 2025 Nicolae Tusinschi Conference

July 2025

• Siemens EDA at FMS 2025 – Shaping the Future of Memory and Storage

  Verification IP Jul 31, 2025 Dennis Brophy link

• 

  Generating SystemVerilog Assertion (SVA) Properties with Property Assist

  Assertions Jul 16, 2025 Mark Eslinger Webinar

• Generating SystemVerilog Assertion (SVA) Properties with Property Assist

  Assertions Jul 16, 2025 Mark Eslinger pdf

June 2025

• 

  Smart Verification for Modern Complexity

  Planning, Measurement and Analysis Jun 23, 2025 Abhi Kolpekwar Conference

• Industrial-Grade AI in EDA: From Promise to Practice — A Siemens Panel at DAC 2025

  Machine Learning Jun 17, 2025 Harry Foster link

• Generative AI: The Hype, The Hope, The Hard Truths — And the Debate at DAC

  Machine Learning Jun 17, 2025 Harry Foster link

• From Rule-Based Beginnings to AI-Driven Design: Tracing the Evolution of AI in EDA

  Machine Learning Jun 03, 2025 Harry Foster link

May 2025

• 

  Redefining Static and Formal Verification

  Formal Verification May 29, 2025 Chris Giles Paper

• Redefining Static and Formal Verification

  Formal Verification May 29, 2025 Chris Giles pdf

• Solving the Semiconductor Verification Crisis: From Problem to Productivity

  Planning, Measurement and Analysis May 21, 2025 Harry Foster pdf

• 

  Solving the Semiconductor Verification Crisis: From Problem to Productivity

  Planning, Measurement and Analysis May 21, 2025 Harry Foster Webinar

• 

  Addressing the Emerging Challenges in DFT Verification with QDX

  Simulation May 20, 2025 Jake Wiltgen Conference

• Addressing the Emerging Challenges in DFT Verification with QDX

  Simulation May 20, 2025 Jake Wiltgen pdf

• Questa One Smart Verification: Unleashing the Potential of AI in Functional Verification

  Verification IQ May 13, 2025 Darron May pdf

• 

  Questa One Smart Verification: Unleashing the Potential of AI in Functional Verification

  Verification IQ May 13, 2025 Darron May Paper

• Rapid Retargeting of Formal Connectivity Verification of AI FPGA Systems

  Formal Verification May 01, 2025 Benjamin Ting, Linh Nguyen - Microsoft pdf

• Rapid Retargeting of Formal Connectivity Verification of AI FPGA Systems

  Formal Verification May 01, 2025 Benjamin Ting, Linh Nguyen - Microsoft mp4

• 

  osmosis 2025

  Formal Verification May 01, 2025 Nicolae Tusinschi Conference

February 2025

• Breaking the Bottleneck: A Smarter Approach to Semiconductor Verification

  Planning, Measurement and Analysis Feb 05, 2025 Harry Foster link

January 2025

• Breaking the Bottleneck: Overcoming the Verification Productivity Gap 2.0

  Planning, Measurement and Analysis Jan 31, 2025 Harry Foster pdf