| List of Messages | |
CAUSE: You attempted to optimize netlists during synthesis by directing the Quartus Prime software to unmap WYSIWYG primitives, 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 logic elements are modified in the design due to this option.
ACTION: Specify that the Quartus Prime software not unmap WYSIWYG primitives, 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.