Boolean equivalence checking

May 30, 2016
Anders Nordstrom, senior corporate applications engineer, Verification Group, Synopsys

Comparing your design to itself – a crucial part of verification

Sequential equivalence checking can help trap errors introduced by clock gate insertion, uninitialised registers, and X propagation issues.

PLATINUM SPONSORS

Synopsys Cadence Design Systems Siemens EDA
View All Sponsors