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

February 2026

• Unlock Efficiency: Next-Gen Verification with Questa Check Register & Questa Check Connect

  Formal Verification Feb 26, 2026 Bobana Brzacki pdf

• 

  Unlock Efficiency: Next-Gen Verification with Questa Check Register & Questa Check Connect

  Formal Verification Feb 26, 2026 Bobana Brzacki Webinar

January 2026

• 

  Cut Weeks From Debug: Rapid First – Level Bug Hunting with Inspect and Check X

  Formal Verification Jan 29, 2026 Bobana Brzacki Webinar

• Cut Weeks From Debug: Rapid First – Level Bug Hunting with Inspect and Check X

  Formal Verification Jan 29, 2026 Bobana Brzacki pdf

• New Innovative Way to Functionally Verify Heterogeneous 2D/3D Package Connectivity

  Formal Verification Jan 16, 2026 Jin Hou pdf

• 

  New Innovative Way to Functionally Verify Heterogeneous 2D/3D Package Connectivity

  Formal Verification Jan 16, 2026 Jin Hou Paper

May 2025

• Siemens leverages AI to close industry’s IC verification productivity gap in new Questa One smart verification solution

  Machine Learning May 13, 2025 Siemens link

• Rapid Retargeting of Formal Connectivity Verification of AI FPGA Systems

  Formal Verification May 01, 2025 Benjamin Ting, Linh Nguyen - Microsoft pdf

• Rapid Retargeting of Formal Connectivity Verification of AI FPGA Systems

  Formal Verification May 01, 2025 Benjamin Ting, Linh Nguyen - Microsoft mp4

January 2025

• Breaking Barriers: Ethernet 1.6T, UALink, and UEC Verification for Next-Gen Connectivity

  Verification IP Jan 30, 2025 Pankaj Goel - Siemens Eda pdf

May 2024

• 

  Optimizing Connectivity Verification Workflow with Python and Tcl Scripting

  Python May 07, 2024 Ariel Ansbacher - Veriest Conference

April 2024

• Questa Check Connect Fact Sheet

  Formal Verification Apr 01, 2024 Nicolae Tusinschi pdf

February 2024

• 

  Comprehensive CXL 3.0 Verification for High-Bandwidth and Low-Latency Connectivity

  Verification IP Feb 21, 2024 Chris Browy Webinar

May 2023

• 

  Efficient Interconnect Formal Verification for Complex, Large-scale Designs

  Formal Verification May 17, 2023 Nicolae Tusinschi Webinar

• Efficient Interconnect Formal Verification for Complex, Large-scale Designs

  Formal Verification May 17, 2023 Nicolae Tusinschi pdf

May 2022

• 

  UVM Connect

  UVMC May 23, 2022 Adam Erickson Track

July 2020

• 

  Formal is the New Normal - Deploy These FV Apps in Your Next Project

  Formal Verification Jul 19, 2020 Ajeetha Kumari, Hemamalini Sundaram, And Darshan Ballari, Verifworks, Llc And Cvc Pvt., Ltd. Article

June 2020

• 

  Automated Formal-Based Apps: Improving Quality and Time-to-Market with Formal

  Formal Verification Jun 04, 2020 Joe Hupcey Webinar

June 2019

• What's Missing and What Should Be Next for SystemVerilog

  SystemVerilog Jun 03, 2019 Cliff Cummings pdf

September 2017

• 

  How Microsemi Uses Questa Formal Connectivity Check to Improve Quality and Productivity

  Formal Verification Sep 08, 2017 Mitchell Poplingher Article

June 2017

• 

  UVM Connectivity Debug

  UVM - Universal Verification Methodology Jun 14, 2017 Tom Kiley Session

• UVM Connectivity Debug

  UVM - Universal Verification Methodology Jun 14, 2017 Tom Kiley pdf

March 2016

• Walking

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

July 2015

• 

  New School Connectivity Checking

  Formal Verification Jul 01, 2015 Mark Eslinger Webinar

June 2015

• 

  Automatic Formal Solutions

  Formal Verification Jun 05, 2015 Mark Eslinger Track