利用電路結構實現工程變更命令

Engineering Change Order by Utilizing Circuit Structure

張洸鋐(Kuang-Hung Chang)

指導教授 ： 黃婷婷

國立清華大學/電機資訊學院/資訊工程學系/碩士(2013年)

https://doi.org/10.6843/NTHU.2013.00689

摘要

為了降低電路的設計時間以及製造的成本，功能性的工程變更
命令 (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.

並列關鍵字

ECO

參考文獻

[4] S. Y. Huang, K. C. Chen and K. T. Cheng, “Error Correction Based

[2] S. Huang, W. Lin, P. Huang, and C. R. Huang “Match and Replace:

[7] K. F. Tang, C. A. Wu, P. K. Huang, C. Y. Huang, “Interpolation-based

[8] B. H.Wu, C. J. Yang, C. Y. Huang, J. H. R. Jiang, “A Robust Functional

[5] S. Y. Huang, K. C. Chen and K. T. Cheng, “AutoFix: A Hybrid Tool