List of Messages |
CAUSE: You compiled a design that contains the specified entity. The Quartus Prime software automatically preserved the entity for formal verification by an EDA formal verification tool.
ACTION: If you are compiling the design for formal verification, no action is required. Otherwise, specify that you are not performing formal verification for a 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.