Sign In
Skip to content

Main Navigation

Blogs
  • Products
    • All Products
    • AMS Verification
    • Additive Manufacturing Software
    • Aprisa
    • Capital
    • Catchbook
    • Design with Calibre
    • EDA Consulting Services
    • Fibersim
    • HLS Design & Verification Blog
    • HyperLynx PCB Analysis
    • JT
    • Mendix
    • MindSphere
    • NX Design
    • NX Industrial Electrical Design
    • NX Manufacturing
    • Opcenter
    • PADS Desktop PCB Design
    • PCBflow
    • PLM Components
    • Polarion
    • Questa
    • Semiconductor Packaging
    • Service Lifecycle Management
    • Simcenter
    • Solid Edge
    • Teamcenter
    • Teamcenter Manufacturing
    • Tecnomatix
    • Tessent Solutions
    • Valor
    • Valor DFM Solutions
    • Xpedition Enterprise Blog
  • Industries
    • Aerospace & Defense
    • Automotive & Transportation
    • Consumer Products & Retail
    • Electronics & Semiconductors
    • Energy & Utilities
    • Heavy Equipment
    • Industrial Machinery
    • Marine
    • Medical Devices & Pharmaceuticals
  • Podcasts
    • All Podcasts
    • 3D IC
    • AI Spectrum
    • Additive Manufacturing Podcast
    • Automotive E/E Systems Revolution Podcast
    • Digital Powers Flexible: Consumer Products Podcast
    • Digital Transformation Podcast
    • Energy Transformation Podcast
    • Engineer Innovation Podcast
    • Innovation in the Classroom Podcast
    • Model Based Matters
    • Next Generation Design Podcast
    • Startups: Digitalization to Realization Podcast
    • Talking Aerospace Today Podcast
    • The Future Car Podcast
    • The Voice of Smart Digital Manufacturing Podcast
    • Where Today Meets Tomorrow Podcast
  • Thought Leadership
    • Thought Leadership Blog
    • Embedded Software
    • Expert Insights
    • Simulating the Real World
    • Verification Horizons
  • Corporate
    • Corporate Blog
    • Academic
    • Partners
    • Realize LIVE
    • Small & Medium Business
    • Xcelerator
    • Xcelerator Academy
  • Community
  1. Thought Leadership
  2. Verification Horizons

SLEC

The Many Flavors of Equivalence Checking: Part 5, Summary of the Most Popular LEC and SLEC Use Cases

July 13, 2020

As I noted at the beginning of this series, the term “logic equivalence checking” (LEC) applies to a number of…

By Joe Hupcey III
4 MIN READ

The Many Flavors of Equivalence Checking: Part 4, How SLEC Brings Automated, Exhaustive Formal Analysis to Safety Mechanism Verification

May 19, 2020

[Preface / reminders: Part 1 of this series focused on synthesis validation with LEC and SLEC, Part 2 describes how…

By Joe Hupcey III
4 MIN READ

The Many Flavors of Equivalence Checking: Part 3, How SLEC Brings Automated, Exhaustive Formal Analysis to Low Power Clock Gating Verification

March 23, 2020

[Preface / reminders: Part 1 of this series focused on synthesis validation with LEC and SLEC, and Part 2 describes…

By Joe Hupcey III
4 MIN READ
The Many Flavors of Equivalence Checking: Part 1, Synthesis Validation with LEC and SLEC (a/k/a the Most Popular Formal Apps Ever)

The Many Flavors of Equivalence Checking: Part 1, Synthesis Validation with LEC and SLEC (a/k/a the Most Popular Formal Apps Ever)

July 11, 2019

In EDA, the word “simulation” is used everywhere: there is RTL and gate level simulation, analog simulation, RF simulation, and…

By Joe Hupcey III
5 MIN READ
How to Prove that It’s Not Your Fault

How to Prove that It’s Not Your Fault

October 12, 2018

In our June, 2018 edition of Verification Horizons, there’s a great article by my colleague Doug Smith, one of our formal…

By Tom Fitzpatrick
1 MIN READ