李建模Li, Chien-Mo臺灣大學:電子工程學研究所王方珉Wang, Fang-MinFang-MinWang2010-07-142018-07-102010-07-142018-07-102008U0001-1501200815404000http://ntur.lib.ntu.edu.tw//handle/246246/189026本論文提出一個以BCH碼為基礎之測試結果壓縮器並具有診斷功能之技術。一般而言，以BCH碼為基礎之壓縮器對於實作來說有些缺點。以時間壓縮為主的方法，其所需的額外面積是非常大的，以空間壓縮為主的方法，因為隨著可修正的個數增加，其壓縮率也降低。而我們提出使用，同時將時間與空間壓縮的方法，以達到減少資料量與面積。此外，我們使用虛擬布林函數最佳化相關軟體，來輔助診斷發生錯誤的掃描鍊與位置。最後，使用離散機率等方法，來計算分析診斷錯誤之機率，可以快速求得混疊機率大小。對於五十萬個掃描單元的設計中，當t=10的實驗結果顯示，其壓縮率大於2600倍，所需的面積比以時間壓縮為主之壓縮器少60%。This thesis presents a test response compaction and diagnosis technique based on BCH error correction code. Traditional time domain BCH compaction is not very useful in practice because the area overhead is too large. On the other hand, space domain BCH compaction does not have sufficient compression ratio to support multiple error diagnosis. This technique shares the polynomials among scan chains to reduce the area overhead. A Boolean satisfiability optimizer is employed to diagnose the failing flop-flops. In addition, a mathematical model is proposed to analytically estimate the aliasing probability and to aid the design of compaction circuitry. Simulation results show that, for designs of 500K flip-flops, our compression ratio is more than 2,600, which is much higher than that of space domain compaction. The area overhead is less than 60% of that of time domain BCH compaction.摘要 ibstract ii錄 iii圖目錄 v目錄 vii一章 序論 1.1 論文背景與動機 1.2 技術與論文貢獻 3.3 論文組織 5二章 相關背景 6.1 相關研究 6.1.1 時間壓縮器(Time Compactors) 7.1.2 空間壓縮器(Space Compactors) 10.1.3 時間空間壓縮器(Time and Space Compactors) 12.1.4 其他相關研究 16.2 BCH碼相關背景 18.3 MINISAT+ 20三章 BCH碼之壓縮器架構及診斷 27.1 壓縮器架構 27.1.1 A1壓縮器硬體架構 27.1.2 A2壓縮器硬體架構 28.1.3 A3壓縮器硬體架構 29.2 壓縮器原理與壓縮率計算 30.2.1 壓縮器原理 30.2.2 A3壓縮器原理 32.2.3 壓縮率 34.3 診斷流程 35.3.1 目標函數 36.3.2 Signature分析 37.3.3 二進位等式與PB-constraint式子轉換 38.3.4 診斷範例 40.4 A1與A2壓縮器混疊率計算 46.4.1 整數分割 47.4.2 分割機率計算SP(d, e) 49.4.3 混疊率計算 50四章 實驗數據 55.1 壓縮率比較 55.2 額外面積 56.3 壓縮率與面積綜和比較 58.4 A1、A2混疊機率PDA比較 60.4.1 PDAE與MINISAT+求解的PDA比較 60.4.2 A1、A2混疊機率PDA分析 62五章 討論與未來工作計畫 67.1 解決未知的方法 67.2 MINISAT+求解時間 67.2.1 錯誤個數e與B值關係 67.2.2 A1、A2、A3 三種壓縮器時間比較 69.3 PDAE的計算 72.3.1 錯誤的分佈情形 72.3.2 經驗法則的判斷 72六章 結論 73考文獻 741084198 bytesapplication/pdfen-USBCH碼測試壓縮診斷Test ResponseCompactionDiagnosisBCH codethesishttp://ntur.lib.ntu.edu.tw/bitstream/246246/189026/1/ntu-97-R94943153-1.pdf