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.
Boolean equivalence checking
PLATINUM SPONSORS
View All Sponsors