詳細
Cadence Encounter Conformal ソフトウェアで「エラー: モジュール 'alt2gxb' のモジュール内のモジュールポート'rx_datain'の方向が定義されていない」などのエラーが表示される場合があります。このエラーは、正式検証用のブラックボックスであるモジュールが、Quartus® II 改訂版ネットリスト内の他の低レベルモジュールをインスタンス化するモジュールに対応している場合に発生します。この場合、改訂版ネットリストの下位モジュールを解析しないように正式な検証ツールに指示する必要があります。
この問題を回避するには、Quartus® II ソフトウェアによって生成された正式な検証スクリプトファイルに、ブラックボックス・ラッパー用の次のコマンドを追加します。add no translate ブラック・ボックス・モジュール名> -both