在 Cadence Encounter 符合性軟體中,您可能會收到錯誤,例如模組「alt2gxb」中模組中「錯誤:模組埠的方向'rx_datain」未定義」。如果用於正式驗證的黑匣式模組對應于 Quartus® II 修訂後的網路清單中的模組,而該網路清單會立即對應其他低階模組,則會發生此錯誤。在這種情況下,您必須指示正式驗證工具,不要在修訂後的網路清單中解析低階模組。
為了避免此問題,在 Quartus II 軟體所產生的正式驗證腳本檔案中,新增下列黑匣包裝的命令:add no translate
黑匣模組名稱> -both