List of Messages |
CAUSE: You attempted to optimize netlists during synthesis by directing the Quartus Prime software to move logic across registers that are associated with I/O pins during register retiming to trade off fMAX . You then 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 Prime netlists if the logic feeding registers is modified in the design due to this option.
ACTION: Specify that the Quartus Prime software not move logic across registers that are associated with I/O pins during register retiming, and recompile the design.
Copyright© 2015 Altera Corporation. All rights reserved. ALTERA, ARRIA, CYCLONE, HARDCOPY, MAX, MEGACORE, NIOS, QUARTUS, STRATIX, and all other brands, unless noted otherwise, and/or trademarks of Altera Corporation in the U.S. and other countries.