List of Messages |
CAUSE: Timing-Driven Synthesis is not supported by the specified Formal Verification tool.
ACTION: Turn off timing-driven synthesis or formal verification.
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.