Cadence® Conformal® technologies provide you with an independent equivalence checking solution enabling verification of designs from RTL to final netlists from P&R.
In addition to standard equivalence checking, the Conformal solution offers:
Static verification solutions for low-power designs, including low power-aware equivalency checking
Automated ECO generation capabilities for minimal netlist changes and faster tapeouts
Constraint designer for clock domain crossing and SDC verification solutions