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

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

September 2019

• Questa SLEC Fact Sheet

  Formal Verification Sep 30, 2019 Nicolae Tusinschi link

March 2017

• Complementing Functional Verification Through the Use of Available Timing Information

  Clock-Domain Crossing Mar 01, 2017 Rick Eram - Excellicon Article

February 2013

• The Formal Verification of Design Constraints

  Formal Verification Feb 22, 2013 Ajay Daga - Fishtail Design Automation Article