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

October 2025

• 

  Breaking Silos: Creating Synergetic Flows for Next-Gen Verification

  Questa Design Solutions Oct 08, 2025 Kirolos Magdy Webinar

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

• 

  osmosis 2025

  Formal Verification May 01, 2025 Nicolae Tusinschi Conference

December 2024

• osmosis 2024 – pushing the boundaries of formal verification

  Formal Verification Dec 11, 2024 Nicolae Tusinschi link

October 2024

• Taming Formal with Intelligent Automation?

  Formal Verification Oct 17, 2024 Tobias Ludwig - Lubis Eda mp4

• Taming Formal with Intelligent Automation?

  Formal Verification Oct 17, 2024 Tobias Ludwig - Lubis Eda pdf

• 

  osmosis 2024

  Formal Verification Oct 17, 2024 Nicolae Tusinschi Conference

September 2024

• The osmosis Formal Verification Conference Celebrates its 5th anniversary!

  Formal Verification Sep 26, 2024 Joe Hupcey link

March 2014

• 

  Portable VHDL Testbench Automation with Intelligent Testbench Automation

  Portable Stimulus Mar 31, 2014 Matthew Ballance Article

June 2012

• 

  Is Intelligent Testbench Automation For You?

  Portable Stimulus Jun 15, 2012 Mark Olen Article

• 

  Automated Generation of Functional Coverage Metrics for Input Stimulus

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