| List of Messages | |
CAUSE: You attempted to compile for formal verification using Incremental Compilation. However, you have a user-defined design partition in your project. User-defined design partitions are not supported when using formal verification for this release.
ACTION: If you wish to compile for formal verification, you must disable the user-defined partitions. If you wish to use user partitions for an Incremental Compilation, then you cannot compile for Formal Verification - you must set the EDA formal verification tool to None.
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.