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
ステータス アーカイブ
種類 一般
People Also Viewed