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

April 2026

• 

  Enabling Formal Verification at Scale: An Agentic AI-driven Approach to RTL Bring-up

  Formal Verification Apr 28, 2026 Nirmala Balakrishnan Conference

• 

  Broadcom: Reining in the Complexity of DFT Verification

  Apr 28, 2026 Michael Batek Conference

• 

  Advancing Simulation Performance with Siemens QDX on MSFT Cobalt Silicon

  Apr 28, 2026 Sandesh Putturaya Conference

• 

  OnSemi: Unified Verification Platform (VPlatform)

  Verification IP Apr 28, 2026 Yijun Loh Conference

• 

  Connected Verification and Validation: The Seamless Link Between Simulation and Emulation

  Simulation Apr 28, 2026 Harry Foster Conference

May 2025

• 

  Enhanced Simulation Debugging through Advanced Capabilities of Visualizer

  Debug May 20, 2025 Satish Banukumar Conference

• Enhanced Simulation Debugging through Advanced Capabilities of Visualizer

  Debug May 20, 2025 Satish Banukumar pdf

• Functional Verification Using Siemens Questa Simulation Technologies

  Simulation May 20, 2025 Nirmala Balakrishnan pdf

• 

  Functional Verification Using Siemens Questa Simulation Technologies

  Simulation May 20, 2025 Nirmala Balakrishnan Conference

• 

  Shift Left using AutoCheck Formal Verification

  Formal Verification May 20, 2025 Mitchell Poplingher Conference

• Shift Left using AutoCheck Formal Verification

  Formal Verification May 20, 2025 Mitchell Poplingher pdf

• 

  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

April 2024

• 

  Lost in Code: Using Visualizer to Understand Someone’s UVM Testbench

  Debug Apr 04, 2024 Salil Pandit Conference

• Lost in Code: Using Visualizer to Understand Someone’s UVM Testbench

  Debug Apr 04, 2024 Salil Pandit pdf

• 

  Why and How We Migrated from In-house Regression Management and Coverage Flow to Verification IQ

  Verification IQ Apr 04, 2024 Avinash Agrawal Conference

• Why and How We Migrated from In-house Regression Management and Coverage flow to Verification IQ

  Verification IQ Apr 04, 2024 Avinash Agrawal pdf

• 

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

  Machine Learning Apr 04, 2024 Jan Marjanovic Conference

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

  Machine Learning Apr 04, 2024 Jan Marjanovic pdf

• 

  How We Use PCIe Verification IP Across Multiple Projects

  Verification IP Apr 04, 2024 Weiping Guo Conference

• How We Use PCIe Verification IP Across Multiple Projects

  Verification IP Apr 04, 2024 Weiping Guo pdf

• 

  Customer Case Studies with AI/ML in Verification

  Machine Learning Apr 04, 2024 Karim Ameziane Conference

• Customer Case Studies with AI/ML in Verification

  Machine Learning Apr 04, 2024 Karim Ameziane pdf

August 2021

• 

  UVM Simulation of MathWorks® Designs at Block, Subsystem, and Chip Level

  UVM Framework Aug 05, 2021 Pedram Riahi - Raytheon Conference

June 2019

• 

  Integrated Approach to Power Domain/Clock-Domain Crossing Checks

  Clock-Domain Crossing Jun 20, 2019 Ashish Amonkar Webinar