| CAUSE: | You turned on Perform gate-level register retiming, 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 the logic feeding registers is modified in the design due to this option. |
| ACTION: | Turn off Perform gate-level register retiming and recompile the design. |
See also:
Optimizing Netlists During Synthesis & Fitting
Specifying EDA Tool Settings
|
- PLDWorld - |
|
|
| Created by chm2web html help conversion utility. |