8.1i CORE Generator - An error occurs while executing formal verification script core2formal_wrp

AR#	20715	Search For Another Answer
Topic	SW-Coregen
Last Updated	03/13/2008
Status	Archive

Description

Keywords: formal, verification, secure, COREGen, core2formal, generating, execute

When I generate a core with formal verification turned on, the following error occurs:

"Error occurred while executing formal verification script $XILINX/coregen/bin/sol/core2formal_wrp. Please check coregen.log for error messages."
"ERROR: Core <core_name> did not generate Formality formal verification support model."

Solution

If you generate a core that has a secure netlist, and Formal Verification output is on, it will fail. This is because core2formal runs NGDBuild then ngd2ver on the EDIF. If the core has a secure netlist, ngd2ver will fail; thus, core2formal fails.