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

March 2019

• Debugging Inconclusive Assertions and a Case Study

  Formal Verification Mar 28, 2019 Jin Hou Article

June 2018

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

  Functional Safety Jun 29, 2018 Doug Smith 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