描述
當您在 Quartus® II 軟體版本 7.0 和更早版本中使用「實體合成 執行」暫存器重複 選項時，會複製部分具有高風扇的收款器。如果您對符合性 LEC 執行正式驗證，則該工具可能會回報黃金級 （RTL） 與修訂版 （已處理） 設計Stratix® II GX 設計之間的非對等性。發生非等同性是因為符合性 LEC 會忽略寫在 .ctc 腳本檔案中對於這些重複註冊機的等效指令。
這個問題從 Quartus II 軟體版本 7.1 開始已經解決。
為了避免在 7.0 和更早版本中出現此問題，請編輯 .ctc 檔案，並在您Stratix II GX 設計中所有重複的暫存器中，在每個黃金級和修訂版實例名稱之後新增 U 字串。加入此字串可讓 Confomal LEC 找到實例並套用實例對等命令。
例如，您可能在 .ctc 檔案中有下列命令：
add instance equivalence e_I/lc_ff e~SynDup_I/lc_ff -flatten -revised
修改此命令如下：
add instance equivalence e_I/lc_ff/U e~SynDup_I/lc_ff/U -flatten -revised