ID:199041 Can't generate output netlist and other output files -- license for generating netlists for formal verification is not available

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.