例えば、大文字で指定された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) の章を参照してください。