Quartus

Formal verification may give mismatches -- Automatically duplicate logic elements is turned on


CAUSE: You turned on Automatically duplicate logic elements, specified a formal verification tool for the current project, and compiled the design. However, formal verification may give mismatches between the pre- and post-Quartus II netlists if logic elements are modified in the design due to this option.
ACTION: Turn off Automatically duplicate logic elements and recompile the design.

See also:

Optimizing Netlists During Synthesis & Fitting
Specifying EDA Tool Settings

- PLDWorld -

 

Created by chm2web html help conversion utility.