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

March 2015

• Samsung: Clock-Domain Crossing Aware Sequential Clock Gating

  Clock-Domain Crossing Mar 15, 2015 Jianfeng Liu, Mi-Suk Hong, Kyungtae Do, Jung Yun Choi, Jaehong Park S. Lsi, Samsung Electronics Co. Ltd. pdf

• 

  Samsung: Clock-Domain Crossing Aware Sequential Clock Gating

  Clock-Domain Crossing Mar 15, 2015 Jianfeng Liu, Mi-Suk Hong, Kyungtae Do, Jung Yun Choi, Jaehong Park S. Lsi, Samsung Electronics Co. Ltd. Paper

February 2013

• 

  The Formal Verification of Design Constraints

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