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

May 2025

• SLEC System Flow: Leveraging Formal in Math Primitive Verification Closure

  Formal Verification May 01, 2025 Abhiram Dronavalli - Microsoft pdf

September 2024

• Questa Equivalent FPGA: Assuring FPGA Integrity

  Formal Verification Sep 18, 2024 Martin Rowe pdf

July 2021

• 

  Sequential Logic Equivalence Checking

  Formal Verification Jul 06, 2021 Jin Hou Track

• 

  SLEC Introduction

  Formal Verification Jul 06, 2021 Jin Hou Session

• 

  SLEC for Design Optimization

  Formal Verification Jul 06, 2021 Jin Hou Session

• 

  SLEC for Bug Fix / ECO

  Formal Verification Jul 06, 2021 Jin Hou Session

• 

  SLEC for Low Power Clock Gating

  Formal Verification Jul 06, 2021 Jin Hou Session

• 

  SLEC for Safety Mechanism

  Formal Verification Jul 06, 2021 Jin Hou Session

March 2020

• 

  Using Questa SLEC to Speed Up Verification of Multiple HDL Outputs

  Formal Verification Mar 01, 2020 Tomáš Vaňák - Codasip Article

September 2019

• Questa SLEC Fact Sheet

  Formal Verification Sep 30, 2019 Nicolae Tusinschi link

June 2018

• 

  It’s Not My Fault! How to Run a Better Fault Campaign Using Formal

  Functional Safety Jun 29, 2018 Doug Smith Article

December 2017

• 

  Debugging Inconclusive Assertions and a Case Study

  Formal Verification Dec 05, 2017 Jin Hou Article

February 2017

• 

  How Formal Reduces Fault Analysis for ISO 26262

  Functional Safety Feb 15, 2017 Doug Smith Paper

• How Formal Reduces Fault Analysis for ISO 26262

  Functional Safety Feb 15, 2017 Doug Smith pdf