不一致は、ゴールデン・ネットリストに 、lpm_pipeline・ パラメーターが 0 より大きいロジックに実装された lpm_mult メガファンクションが含まれている場合に生じます。
インテル® Quartus®® II ソフトウェアは、次のような状況で DSP ブロックではなく、ロジックに lpm_mult メガファンクションを実装します。
- このデザインは、Cyclone™デバイスなど、DSP ブロックがないデバイスを 対象とします。
- ゴールデン・デザインにおける lpm_mult メガファンクションの数は、ターゲットデバイスで利用可能な DSP ブロックの数より多くなります。
- lpm_multメガファンクションをロジックに実装することを指定します。
この問題を回避するには:
rtl コードでlpm_multメガファンクションをインスタンス化する場合、lpm_multメガファンクションをインスタンス化するモジュールにブラックボックス・プロパティーを適用します。合成ツールがlpm_multメガファンクションを推論する場合、乗算器の周辺にラッパー・ファイルを作成し、ブラックボックス・プロパティーをラッパー・モジュールに適用します。
正式検証の詳細については 、Quartus® II ハンドブック第 3 巻の「正式検証」セクションを参照してください。