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

December 2025

• The Future of Semiconductors: Engineering in the Convergence Era

  Machine Learning Dec 09, 2025 Harry Foster pdf

• 

  The Future of Semiconductors: Engineering in the Convergence Era

  Machine Learning Dec 09, 2025 Harry Foster Paper

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

  Verification Academy Live Dec 03, 2025 Austin Mam pdf

• Introducing Questa One SFV: The Transformation of Static & Formal Powered by AI/ML

  Verification Academy Live Dec 03, 2025 David Landoll pdf

October 2025

• Boosting Verification of an IEEE Compliant FPU with Formal and AI Capabilities

  Machine Learning Oct 16, 2025 Zvi Ben Yosef - Nextsilicon mp4

• Boosting Verification of an IEEE Compliant FPU with Formal and AI Capabilities

  Machine Learning Oct 16, 2025 Zvi Ben Yosef - Nextsilicon pdf

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

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

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

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

• Harnessing AI for Real-world Hardware Verification

  Machine Learning Oct 16, 2025 Matthew Taylor - Doulos pdf

• Harnessing AI for Real-world Hardware Verification

  Machine Learning Oct 16, 2025 Matthew Taylor - Doulos mp4

• 

  osmosis Europe 2025

  Formal Verification Oct 16, 2025 Nicolae Tusinschi Conference

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

May 2025

• 

  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

• 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

April 2025

• 

  Smart Debug: Accelerate Root Cause Analysis and Reduce Debug Turnaround Time with Questa Verification IQ Regression Navigator

  Verification IQ Apr 03, 2025 Mark Carey Webinar

• Smart Debug: Accelerate Root Cause Analysis and Reduce Debug Turnaround Time with Questa Verification IQ Regression Navigator

  Verification IQ Apr 03, 2025 Mark Carey pdf

February 2025

• Smart Regression: Optimize Regression Efficiency Using Questa Verification IQ Regression Navigator

  Verification IQ Feb 12, 2025 Mark Carey pdf

• 

  Smart Regression: Optimize Regression Efficiency Using Questa Verification IQ Regression Navigator

  Verification IQ Feb 12, 2025 Mark Carey Webinar

• 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