詳細
Encounter Conformal ソフトウェアは、改訂版ネットリストを読んでいる間にこのエラーを報告する場合があります。これは、Quartus®® II ソフトウェアによって生成された Verilog 出力ファイル(.vo)ネットリストに、合成モジュールまたはシミュレーション・モジュールで定義されていない、インスタンス化されたブラックボックス・モジュールに追加のポートが含まれている場合に生じます。ポートは通常、ブラックボックス階層内のレジスターロジックと組み合わせロジックの両方を制御するコントロール信号です。
この問題の回避策は、デザインのセットアップ・モード中に次のコマンドを追加することです。このコマンドは、追加のポートに起因するエラーを無視するよう Conformal に指示します。
set rule handling HRC3.3 -ignore
コンフォーマンスを使用した正式検証の詳細については、Quartus® II ハンドブック第 3 巻のCadence Encounter Conformal Support (PDF) の章を参照してください。