Description
If your design uses the SignalTap® II logic analyzer, formal verification reports mismatches. The Quartus® II formal verification flow is not supported with Cadence Conformal LEC if you use the SignalTap II logic analyzer in your design.