請用此 Handle URI 來引用此文件:
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/70347
標題: | 半正規的工程改變命令方法 Semi-Formal ECO Method |
作者: | Chia-Lin Hsieh 謝佳霖 |
指導教授: | 黃鐘揚 |
關鍵字: | 工程改變命令,功能性配對,修補邏輯電路, Engineering change order,functional matches,patch circuit, |
出版年 : | 2018 |
學位: | 碩士 |
摘要: | 在晶片設計的過程中,如果後期發現了設計瑕疵或有規格改變,工程改變命令是一個普 遍使用的方法。我們提出一個兩階段的半正規工程命令改變方法來解決這個問題。我們先在 兩個電路中找出最多的功能性配對,接著最佳化這些配對並產生最小的修補邏輯電路來修好 有問題的電路。我們利用了 FRAIG 技術搭配基於模擬回饋的區域電路功能配對演算法來得 到較好的配對,而這些較好的配對會減少所要修好有問題的電路的修補邏輯電路大小。實驗 結果顯示我們提出的方法能在合理的時間內產生小的修補邏輯電路來修好有問題的電路。 Engineering change order (ECO) is a popular technique for rectifying design errors and specification changes in late design stages. We present a two-phase semi-formal patch generation to rectify multiple errors. We first 1) discover the functional matches in two circuits, then 2) optimize and generate a patch circuit from the matches. The ECO engine in this thesis discovers functional and structural matches in two circuits by the FRAIG technique and the simulation-guided cut-matching algorithm. Then, the combinational equivalence checking technique combined with a linear-time selection heuristic is processed to minimize the patch size from the matches. The experimental results show that this ECO engine can rectify circuits with small patch size within reasonable runtime. |
URI: | http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/70347 |
DOI: | 10.6342/NTU201803276 |
全文授權: | 有償授權 |
顯示於系所單位: | 電子工程學研究所 |
文件中的檔案:
檔案 | 大小 | 格式 | |
---|---|---|---|
ntu-107-1.pdf 目前未授權公開取用 | 1.45 MB | Adobe PDF |
系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。