20715 - 9.1i CORE Generator - フォーマル検証スクリプト、core2formal_wrp を実行するとエラーが発生する
9.1i CORE Generator - フォーマル検証スクリプト、core2formal_wrp を実行するとエラーが発生する
| アンサー # | 20715 |
| パーツ | CORE Generator |
| 最終更新日 | 2007-01-23 00:00:00.0 |
| ステータス | Active |
| キーワード | formal, verification, secure, COREGen, CORE 2formal, フォーマル, 検証, セキュア, コア, 生成 |
問題の詳細
キーワード : formal, verification, secure, COREGen, CORE 2formal, フォーマル, 検証, セキュア, コア, 生成
フォーマル検証を有効にして、コアを生成する場合、次のようなエラー メッセージが表示されます。
"Error occurred while executing formal verification script $XILINX/coregen/bin/sol/core2formal_wrp. Please check coregen.log for error messages."
"ERROR: Core <core_name> did not generate Formality formal verification support model."
ソリューション
保護されたネットリストのコアを生成する場合にフォーマル検証出力がオンになっていると、生成でエラーになります。これは、core2formal が、EDIF に対して NGDBuild および ngd2ver を実行するためです。 したがって、コアに保護されたネットリストがある場合、ngd2ver が適切に実行されず、core2formal でエラーが発生します。