| List of Messages | |
CAUSE: You specified a formal verification tool for the current project and compiled the design, but the source file is not included in the project.
ACTION: Include the source file into designs.
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.