equivalence checking

Filter by:

GOMACTech 2025 Preview: FPGA Safety and Security Policy Compliance via HDL-to-Bitstream Equivalence Checking (Session 43.5)

March 4, 2025

Security and safety policies across domains such as embedded security, defense safety, and automotive safety have been updated to require…

By Joe Hupcey III
3 MIN READ

The Many Flavors of Equivalence Checking: Part 6, FPGA-focused Equivalency Checking Flows

February 2, 2022

With last year’s acquisition of OneSpin, we now have a valuable addition to the solutions I described in The Many…

By Joe Hupcey III
4 MIN READ

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