詳細
Cyclone® Cycloneまたは II デザインに柔軟な LVDS 機能がある場合、Cadence Conformal LEC ツールを使用すると、正式な検証に不一致が生じる場合があります。この問題は、デザインでインスタンス化された LVDS レシーバーに奇数のデシリアライゼーション・ファクターがある場合に発生します。
Quartus® II ソフトウェアは、これらの LVDS 機能に altsyncram メガファンクションを使用します。合成中に使用される altsyncram メガファンクションは、正式検証ではブラックボックスとして扱われないため、多くのレジスターが正式検証ネットリストファイル (*.vo) に含まれるので、コンフォーマル LEC のゴールデン・ネットリストと改訂済みネットリストの間に不一致が生じます。
この問題を回避するには、次の手順に従って、LVDS 関数用に推論される altsyncram エンティティーのブラックボックスを作成します。
- Quartus® II プロジェクト・ナビゲーター・ウィンドウで対応する altsyncram 関数を検索します<
- 各モジュールに保存階層とブラックボックスの割り当てを追加します。例えば、これらのアサインメントは、altsyncram_l7vと呼ばれる altsyncram 関数を含むデザインの Quartus® II 設定ファイル (*.qsf) に次の Tcl コマンドを作成します。
set_instance_assignment -name PRESERVE_HIERARCHICAL_BOUNDARY FIRM -to | -entity altsyncram_l7vset_instance_assignment -name EDA_FV_HIERARCHY BLACKBOX -to | -entity altsyncram_l7v
- デザインを再コンパイルします。