臺灣大學: 電子工程學研究所江介宏劉宗博Liu, Tsung-PoTsung-PoLiu2013-04-102018-07-102013-04-102018-07-102012http://ntur.lib.ntu.edu.tw//handle/246246/256675隨著製程越來越先進電路設計的複雜度也越來越高，設計錯誤和臭蟲也越來越容易躲過電路驗證留到電路製造的階段，使用硬體式的修正錯誤比使用軟體式的修正來得貴的多，人工的軟體是修正又容易有所遺漏早成錯誤，因此本篇論文提出了一個方法可以自動針對設計錯誤的處理器生成軟體修補方案，此修補方案可以直接使用在組合語言上無需再修改編譯器，這樣的好處是無須重新設計編譯器使得開發流程不會不順暢。 在本篇論文中會介紹一個通用的量化布林公式，可從此公式中取得Skolem/Herbrand 函數作為軟體修正補丁，一些變通辦法使這方法更切實際，實驗結果驗證了這方法的可行性。Due to the ever-increasing complexity of system design, it becomes not uncommon for some design error escaping all verification efforts and settling in final silicon realization. As hardware-based fixing is much more expensive than software-based fixing and manual software-based fixing can be error prone, this thesis proposes a methodology generating software workarounds for erroneous microprocessor designs. The workarounds can be directly applied to assembly code and do not need to modify compiler.This advantage can help the design flow more smooth and no need to iteratively redesign the compiler. In this thesis a generic formulation is introduced based on Skolem and Herbrand function extraction from quantified Boolean formula (QBF) solving; reduction techniques are devised to further enhance practicality. Thereby a program can be recompiled at the assembly code level for correct execution on a buggy microprocessor. Experimental results show the feasibility of the proposed method.1290457 bytesapplication/pdfen-US設計錯誤補丁合成量化布林公式軟體修補Skolem函數design errorpatch synthesisQBFsoftware workaroundSkolem functionthesishttp://ntur.lib.ntu.edu.tw/bitstream/246246/256675/1/ntu-101-R99943093-1.pdf