SLEC Introduction

In this session, you will learn the concept of sequential logic equivalence checking (SLEC) and the common applications of SLEC.

Clock Gating
Design Optimization
Equivalence Checking
Formal Verification
RTL
Sequential Analysis
SLEC
Intermediate

Formal Verification

This content is reserved for members. Register new account or login to view.

Register your account to view SLEC Introduction

Full-access members gain access to our free tools and training, including our full library of articles, recorded sessions, seminars, papers, learning tracks, in-depth verification cookbooks, and more.