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. |