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

May 2025

• Solving the Semiconductor Verification Crisis: From Problem to Productivity

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

• 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

May 2024

• Questa RDC Assist – Improving Designer Productivity and Enabling Faster RDC Verification Closure with Machine Learning

  Reset-Domain Crossing May 22, 2024 Farhad Ahmed Webinar

• Questa RDC Assist – Improving Designer Productivity and Enabling Faster RDC Verification Closure with Machine Learning

  Reset-Domain Crossing May 22, 2024 Farhad Ahmed pdf

• Developing “Safe” AI Hardware

  Machine Learning May 07, 2024 Shaumik Ganguly - Continental Seminar

April 2024

• New AI Horizons in Static & Formal Verification

  Formal Verification Apr 24, 2024 Dan Yu mp4

• New AI Horizons in Static & Formal Verification

  Formal Verification Apr 24, 2024 Dan Yu pdf

• How and Why We Adopted Questa Core in the Development of Quantum Computers

  Machine Learning Apr 04, 2024 Jan Marjanovic - Atom Computing Seminar

• How and Why We Adopted Questa Core in the Development of Quantum Computers

  Machine Learning Apr 04, 2024 Jan Marjanovic - Atom Computing pdf

• Customer Case Studies with AI/ML in Verification

  Machine Learning Apr 04, 2024 Karim Ameziane - Siemens Eda Seminar

• Customer Case Studies with AI/ML in Verification

  Machine Learning Apr 04, 2024 Karim Ameziane - Siemens Eda pdf

March 2024

• A True Native 64-bit Vedic Multiplier Boosts Performance for Processors, Multi-Cores and DSP

  Machine Learning Mar 01, 2024 Lakshya Miglani, Priyanka Gharat, Gopi Srinivas Deepala - Silicon Interfaces mp4

• A True Native 64-bit Vedic Multiplier Boosts Performance for Processors, Multi-Cores and DSP

  Machine Learning Mar 01, 2024 Lakshya Miglani, Priyanka Gharat, Gopi Srinivas Deepala - Silicon Interfaces Article

February 2024

• Join us at DVCon for a panel on Generative AI

  Machine Learning Feb 14, 2024 Harry Foster link

January 2024

• Comprehensive PCIe Verification Solution for Bleeding Edge and Mission Critical SoC & IP Designs

  Verification IP Jan 24, 2024 Luis Rodriguez pdf

• Comprehensive PCIe Verification Solution for Bleeding Edge and Mission Critical SoC & IP Designs

  Verification IP Jan 24, 2024 Luis Rodriguez Webinar