UPGRADE YOUR BROWSER

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"

Description

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.

Solution

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