Browse all content in Siemens Verification Academy with the tag SLEC

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

March 2019

• Debugging Inconclusive Assertions and a Case Study

  Formal Verification Mar 28, 2019 Jin Hou Article