| List of Messages | |
CAUSE: You specified a formal verification tool for the current project and compiled the design, but the specified entity is not instantiated within the hierarchy of an entity in the design with Creating Design Partitions. To perform formal verification with other EDA tools, you must first create design partitions for all black box entities in the design.
ACTION: Create design partitions for your design first and then 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.