List of Messages |
CAUSE: You attempted to generate output netlist files for use with an EDA formal verification tool. However, the design contains encrypted intellectual property (IP) file(s). As a result, the Quartus Prime software cannot generate netlist output files because the current license does not supported the encrypted file(s).
ACTION: Licenses for generation of output netlist files for designs with encrypted IP, for formal verification with EDA tools, are not currently available.
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.