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# 12020

4.1i CORE Generator, Virtex-II Pro - "Error occurred while executing formal verification script /proj/.../core2formal_wrp"


Keywords: CORE Generator, COREGen, Virtex-II Pro, formal verification, core2formal_wrp, formality, virplex

Urgency: Standard

General Description
When I try to generate a core for Virtex-II Pro with the option to generate formal verification files, the following error is reported:

Generating formal verification support files...

ERROR: Error occurred while executing formal verification script /proj/swop1/Xilinx/4.1i/coregen/bin/sol/core2formal_wrp.
Please check coregen.log for error messages.
ERROR: Core v2p_counter did not generate Formality formal verification support model.
WARNING: Warnings and/or errors encountered while generating v2p_counter (Binary Counter 4.0) All output products requested may not have been generated.
ERROR: Elaboration failure for core Binary Counter
ERROR: Elaboration of core Binary Counter failed.


Although a CORE Generator option allows you to select the features, formal verification support for Virtex-II Pro is NOT available yet. Therefore, the appropriate files will not be generated.

The formal verification support for Virtex-II Pro will be added in 4.1i IP Update #1(E_ip1).
AR# 12020
Date Created 07/23/2001
Last Updated 09/11/2003
Status Archive
Type General Article