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

February 2026

• 

  Human-Centered Agentic AI Workflows for RTL Verification

  Machine Learning Feb 27, 2026 Harry Foster Paper

• Human-Centered Agentic AI Workflows for RTL Verification

  Machine Learning Feb 27, 2026 Harry Foster pdf

• Beyond Simulation: Unlocking Absolute Certainty in Hardware Design with Formal Verification

  Formal Verification Feb 16, 2026 Nicolae Tusinschi link

January 2026

• 

  Achieving Mathematical Certainty in Design Verification with Formal

  Formal Verification Jan 31, 2026 Nicolae Tusinschi Paper

• Achieving Mathematical Certainty in Design Verification with Formal

  Formal Verification Jan 31, 2026 Nicolae Tusinschi pdf

October 2025

• 

  Breaking Silos: Creating Synergistic Flows for Next-Gen Verification

  Questa Design Solutions Oct 08, 2025 Kirolos Magdy Webinar

• Breaking Silos: Creating Synergistic Flows for Next-Gen Verification

  Questa Design Solutions Oct 08, 2025 Kirolos Magdy pdf

February 2025

• 

  Design Trends

  Planning, Measurement and Analysis Feb 17, 2025 Harry Foster Session

June 2017

• 

  Emulation - A Job Management Strategy to Maximize Use

  Acceleration Jun 28, 2017 Vijay Chobisa Article

March 2016

• Strategy

  Planning, Measurement and Analysis Mar 16, 2016 Harry Foster pdf

June 2013

• 

  Verifying High Speed Peripheral IPs

  Simulation Jun 01, 2013 Sreekanth Ravindran, Chakravarthi M.G. - Mobiveil Article

June 2012

• 

  Automated Generation of Functional Coverage Metrics for Input Stimulus

  Portable Stimulus Jun 15, 2012 Mike Andrews - Siemens Eda Article