為了降低電路的設計時間以及製造的成本,功能性的工程變更 命令 (ECO) 已經在現代的超大型積體電路 (VLSI) 設計中成為一 項重要的技術。在這篇論文,我們提出了一個兩階段的演算法來找 出兩個電路相異的部分。藉由可滿足性 (SAT) 檢測程式,我們找 到了兩電路相同部分的輸入端邊界。另一方面,藉由我們提出的電 路結構對應演算法,我們找出了兩電路相同部分的輸出端邊界。從 實驗結果可以得知,我們的演算法在尋找邊界上非常的有效率,同 時,在大部分的案例上都有不錯的效果。
In order to reduce the circuit developing time and manufacture cost, functional ECO becomes an important technique in modern VLSI design. In this thesis, we propose a dual-phase algorithm to find the difference between two circuits. The input-side and output-side boundaries are found by SAT engine and our structure matching algorithm respectively. The experimental results show that our method is very efficient to find the boundary and performs good in most cases.