We have detected your current browser version is not the latest one. Xilinx.com uses the latest web technologies to bring you the best online experience possible. Please upgrade to a Xilinx.com supported browser:Chrome, Firefox, Internet Explorer 11, Safari. Thank you!

AR# 20715

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


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."


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.
AR# 20715
Date Created 09/03/2007
Last Updated 03/13/2008
Status Archive
Type General Article