記事 ID: 000085901 コンテンツタイプ: トラブルシューティング 最終改訂日: 2012/09/11

正式検証中に、Encounter Conformal レポートが未定義のデザイン・エンティティーを報告するのはなぜですか?

環境

  • 検証
  • BUILT IN - ARTICLE INTRO SECOND COMPONENT
    詳細 デザイン・ネットリストのデザイン・エンティティー名が正式な検証ライブラリー内のエンティティーのケースと一致しない場合、エンカウンター・コンバージル・正式検証ツールでこのエラーが報告されることがあります。

    例えば、大文字で指定されたLPM_MULTメガファンクションを含むデザインでは、次のエラーが発生します。
    // Running Conformal on the design gives the following errors.
    // Error:: Design unit 'LPM_MULT' is referenced but not defined

    この例では、合成後のデザイン・ネットリストに LPM_MULT 名前が大文字で含まれています。すべてのAlteraメガファンクションの正式検証ライブラリー・モデルは小文字であるため、Encounter Conformal は LPM_MULT ライブラリー内で大文字のモデルを見つけられません。

    この問題を解決するには、合成後のデザイン・ネットリストの名前を大文字から小文字に変更します (この例では名前を次に変更 lpm_mult します)。

    コンフォーマンスを使用した正式な検証の詳細については、Quartus® II ハンドブック第 3 巻のCadence Incisive Equivalency Checker Support (PDF) の章を参照してください。

    関連製品

    本記事の適用対象: 1 製品

    Stratix® FPGAs

    このページのコンテンツは、元の英語のコンテンツを人力翻訳および機械翻訳したものが混在しています。この内容は参考情報および一般的な情報を提供するためものであり、情報の正確さと完全性を保証するものではありません。インテルは不正確な翻訳があった場合でもいかなる責任を負いません。このページの英語版と翻訳の間に矛盾がある場合は、英語版に準拠します。 このページの英語版をご覧ください。