List of Messages |
CAUSE: EDA physical synthesis tools are currently not supported by the specified Formal Verification tool.
ACTION: Turn off the physical synthesis EDA tool.
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.