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

July 2025

• Generating SystemVerilog Assertion (SVA) Properties with Property Assist

  Assertions Jul 16, 2025 Mark Eslinger Webinar

June 2025

• 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

• Better Stimulus Generation Through AI

  Portable Stimulus May 13, 2025 Tom Fitzpatrick Paper

• Better Stimulus Generation Through AI

  Portable Stimulus May 13, 2025 Tom Fitzpatrick pdf

• Turning Vision into Reality: How Questa One Fulfills the Promise of Smart Verification

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

• Turning Vision into Reality: How Questa One Fulfills the Promise of Smart Verification

  Planning, Measurement and Analysis May 13, 2025 Harry Foster Paper

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

  Verification IQ May 13, 2025 Darron May pdf

• osmosis 2025

  Formal Verification May 01, 2025 Nicolae Tusinschi Conference

February 2025

• Smart Verification with AI/ML: Smart Regression & Smart Debug

  Verification IQ Feb 06, 2025 Austin Mam pdf

November 2024

• Questa Verification IQ: Boost verification predictability and efficiency with Big Data

  Verification IQ Nov 06, 2024 Ahmed Elkady - Siemens Eda pdf

October 2024

• Verifying the Next Generation High Bandwidth Memory Controllers for AI and HPC Applications

  Verification IP Oct 30, 2024 Kamlesh Mulchandani pdf

• Verifying the Next Generation High Bandwidth Memory Controllers for AI and HPC Applications

  Verification IP Oct 30, 2024 Kamlesh Mulchandani Webinar

September 2024

• Questa Verification IQ: Boost Verification Predictability and Efficiency with Collaboration, Traceability, and AI/ML Analytics

  Verification IQ Sep 18, 2024 Austin Mam pdf

• MARLUG - 2024

  FPGA Verification Sep 18, 2024 Austin Mam Seminar

July 2024

• Simulating AMD’s Next-gen Versal Adaptive SoC Devices using QuestaSim

  Simulation Jul 24, 2024 Fan Zhang Webinar

• Simulating AMD’s Next-gen Versal Adaptive SoC Devices using QuestaSim

  Simulation Jul 24, 2024 Fan Zhang pdf

June 2024

• Introducing Smart Verification: Unleashing the Potential of AI Within Functional Verification

  Machine Learning Jun 24, 2024 Tom Fitzpatrick Conference