請用此 Handle URI 來引用此文件:
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/678
標題: | 基於後向切割的等效驗證和工程變更指令演算法之最佳化 Optimizing Backward-Cut-Based EC and ECO Algorithms |
作者: | Yo-Chi Lee 李友岐 |
指導教授: | 黃鐘揚(Chung-Yang (Ric) |
關鍵字: | 工程變更指令,後向切割,修補邏輯電路,等效驗證, Engineering change order,backward-cut,patch circuit,equivalence checking, |
出版年 : | 2019 |
學位: | 碩士 |
摘要: | 在晶片設計的流程中,如果流程後期需要修改原本的電路設計,工程變更指令是一個普遍使用的方法。我們提出新的演算法以優化基於後向切割的工程變更指令引擎效能。我們藉著後向切割在兩個電路中找出改正配對,接著精鍊這些配對以去除多餘的部份。實驗結果顯示我們提出的演算法不但減少了修補邏輯電路的成本也降低了程式運行的時間。除此之外,我們進一步將後向切割應用於等效驗證,實驗結果說明了我們的演算法是可行的。 Engineering change order (ECO) is a popular approach for rectifying circuit errors and specification changes in late design stages. Backward-cut-based ECO solves the problem by divide and conquer from the output side to input side. In this thesis, we present new algorithms to optimize the performance of ECO engine. We first discover the rectification pairs in two circuits by backward-cut approach and then remove the redundant parts by refinement technique. The experimental results show that our algorithm not only reduce the patch circuit cost but also improve the run time of ECO engine. Moreover, we further apply backward-cut approach to the Equivalence Checking (EC) and experimental results prove that our algorithms work. |
URI: | http://tdr.lib.ntu.edu.tw/handle/123456789/678 |
DOI: | 10.6342/NTU201902346 |
全文授權: | 同意授權(全球公開) |
顯示於系所單位: | 電機工程學系 |
文件中的檔案:
檔案 | 大小 | 格式 | |
---|---|---|---|
ntu-108-1.pdf | 2.65 MB | Adobe PDF | 檢視/開啟 |
系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。