「符合要求的遭遇」軟體可能會在閱讀修訂後的網路清單時回報此錯誤。之所以出現這種情況,是因為 Quartus® II 軟體所產生的 Verilog 輸出檔案 (.vo) 網路清單包含即時黑匣模組中未在合成或模擬模組中定義的其他埠。埠通常是控制訊號,可控制黑匣階層內部的註冊和組合邏輯。
此問題的解決方法是在設計設定模式期間新增下列命令。此命令指示合規性忽略額外埠所導致的錯誤。
set rule handling HRC3.3 -ignore
如需使用符合規範的正式驗證詳細資訊,請參閱Quartus II 手冊 第 3 冊中的Cadence Encounter 符合性支援(PDF) 章節。