請用此 Handle URI 來引用此文件:
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/94263| 標題: | 利用 NPN 等效電路匹配進行工程改變命令補丁最小化 Functional ECO Patch Minimization by NPN-Equivalent Circuit Matching |
| 作者: | 李彥儒 Yen-Ju Lee |
| 指導教授: | 黃鐘揚 Chung-Yang Huang |
| 關鍵字: | 工程改變命令,布林比對,虛擬布林最佳化,等效性檢測,邏輯電路, Engineering Change Order,Boolean Matching,Pseudo-Boolean Optimization,Equivalence Checking,Logic Circuit, |
| 出版年 : | 2024 |
| 學位: | 碩士 |
| 摘要: | 工程變更指令 (ECO) 在 IC 設計行業中至關重要,用於高效地解決錯誤和規格變更。儘管設計師努力創建無錯誤的設計,但角落案例和客戶驅動的變更常常需要快速更新。ECO 著重於識別和修補受影響的區域,並確保功能等效的前提下進行最小變更。
本研究通過兩階段方法來提升現有的 ECO 方法。在匹配階段,我們利用快速子電路 NPN 等效匹配來:1)通過識別易於修復的更正點來擴展輸入端邊界,2)識別輸出端邊界,解決輸出合併邊界的複雜性。在替換階段,我們通過引入偽布爾 (PB) 優化來高效回收浮動子電路,從而優化修補成本。 Engineering Change Order (ECO) is essential in the IC design industry for efficiently addressing bugs and specification changes. Despite efforts to create bug-free designs, corner cases and client-driven changes often necessitate quick updates. ECO focuses on identifying and patching affected areas with minimal changes to ensure functional equivalence. This work enhances existing ECO methodologies through a two-phase approach. In the matching phase, we utilize fast sub-circuit NPN-equivalence matching to: 1) extend the input side frontier by identifying easy-to-fix rectification points, and 2) identify the output side frontier by addressing the complexity of the output merge frontier. In the replacement phase, we optimize patch costs by incorporating Pseudo-Boolean (PB) optimization to efficiently recycle the floating sub-circuit. |
| URI: | http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/94263 |
| DOI: | 10.6342/NTU202403494 |
| 全文授權: | 同意授權(全球公開) |
| 顯示於系所單位: | 電子工程學研究所 |
文件中的檔案:
| 檔案 | 大小 | 格式 | |
|---|---|---|---|
| ntu-112-2.pdf | 5.63 MB | Adobe PDF | 檢視/開啟 |
系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。
