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# 20715

9.1i CORE Generator - フォーマル検証スクリプト、core2formal_wrp を実行するとエラーが発生する

説明

キーワード : 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 でエラーが発生します。
AR# 20715
日付 03/13/2008
ステータス アーカイブ
種類 一般
このページをブックマークに追加