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

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

December 2022

• The X-factors of X-checking

  Formal Verification Dec 08, 2022 Kanthi Palaniappan pdf

• The X-factors of X-checking

  Formal Verification Dec 08, 2022 Kanthi Palaniappan mp4

September 2021

• 

  Questa X-Check: Identify "X" Issues

  Formal Verification Sep 14, 2021 Mark Eslinger Demo

October 2020

• 

  Reducing Area & Power Consumption with Formal-based ‘X’ Verification

  Formal Verification Oct 15, 2020 Ping Yeung Webinar

June 2015

• 

  Mitigating X Effects in Your Verification

  Formal Verification Jun 05, 2015 Mark Eslinger Session

December 2014

• 

  Introduction to Questa X-Check

  Formal Verification Dec 20, 2014 Doug Smith Webinar

June 2013

• 

  Confidence in the Face of the Unknown: X-state Verification

  Formal Verification Jun 01, 2013 Kaowen Liu - Mediatek Inc., Roger Sabbagh - Siemens Eda Article