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 用のデザインで 「フォーマル検証スクリプト /proj/.../core2formal_wrp を実行中にエラーが発生しました」というエラー メッセージが表示される

説明

キーワード : CORE Generator, COREGen, Virtex-II Pro, formal verification, core2formal_wrp, formality, virplex, フォーマル検証

重要度 : 標準

概要
フォーマル検証ファイルを生成するオプションを指定して Virtex-II PRO のコアを生成すると、次のようなエラー メッセージが表示されます。

フォーマル検証サポート ファイルを生成中・・・

エラー : フォーマル検証スクリプト script /proj/swop1 /Xilinx/4.1i/coregen/bin/sol/core2formal_wrp を実行中にエラーが発生しました。
エラー メッセージの coregen.log を確認してください。
エラー : コア v2p_counter はフォーマル検証のサポート モデルを生成しませんでした。
警告 : v2p_counter (Binary Counter 4.0) を生成中に警告/エラーの両方またはいずれかが見つかりました。出力ファイルの一部が生成されていない可能性があります。
エラー : コア Binary Counter の生成ができませんでした。
エラー : コア Binary Counter を生成できませんでした。

ソリューション

CORE Generator オプションを使用すると機能を選択できますが、Virtex-II PRO のフォーマル検証はサポートされません。 したがって、適切なファイルが生成されません。

Virtex-II PRO のフォーマル検証サポートは 4.1i IP アップデートで追加される予定です。
AR# 12020
日付 09/11/2003
ステータス アーカイブ
種類 一般
このページをブックマークに追加