Failure Candidate Identification for Silicon Debug.ppt

Failure Candidate Identification for Silicon Debug 指導教授 : 曾王道 學生:卜竹君 許正明 Abstract 比較simulation values跟observed values的值是否相同來判斷前面的wire和input的值是否有錯誤，利用一個演算法快速的解決問題。 過程需經過simulation(模擬的測試)和testing(真實的測試)，並將兩個所產生的值互相比較，相同代表沒錯，反之則需要用Silicon debug修正。 Introduction-1 如果simulation values跟observed values有差異，代表的是input的值或者是wire值在傳送的過程中出了錯。整個程式就是在尋找錯誤所在。首先從最後面相異的output值開始往回尋找錯誤，利用what-if這個動作來判斷是否是正確的值，直到最後找到出錯的input或wire Introduction-2 我們的程式可以輕鬆的去找出錯誤的所在，並利用what-if分析，從output端往前操作，利用一次只改變一個wire的方法(也就是說0變成1或是1變成0)，去檢測出所有的final candidates，此外還利用了Static approach和Dynamic approach來減少一些不需要去測試的