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