基于有界延遲模型的延遲測試算法研究.pdf

1、延遲測試用于檢測電信號在一條路徑上傳播時間過長引起的故障。路徑延遲故障模型是被常用的精確模型,但它面臨的問題是電路中有大量路徑,全部測試是不現實的,所以本文采用的策略是選擇一部分路徑進行測試來判斷電路是否正確。另外基于轉換故障模型,電路中有可以影響電路時序行為的小延遲,要選擇通過故障點的最長路徑才能保證檢測到小延遲故障,所以路徑選擇是延遲測試中很重要的一個問題。本文基于bounded delay模型選擇通過每一個門的k(k≥1)條最長路

2、徑。bounded delay模型定義了路徑結點的延遲上下界,相比于過去的單位延遲模型能更精確反映實際電路延遲分布情況。選擇的路徑不但要是最長的,而且要是可測的,只有可測的路徑才會影響電路的時序行為。在bounded delay模型下,本文選擇非強健可測路徑,不可測路徑通過對路徑的敏化進行判斷。本文通過定義u線及b-f對記錄不可測信息,來避免路徑選擇過程中的重復敏化,這加速了路徑選擇的過程。通過使用bounded delay模型,一些在

3、其它延遲模型下可測的故障變?yōu)椴豢蓽y,bounded delay模型實際上提供了更多的不可測信息,有利于選擇真實可測的路徑。
　　 將選擇出來的路徑針對小延遲故障進行測試生成,但測試向量集過大,這就需要進行測試壓縮。兩個小延遲故障對應的兩條傳播路徑如果敏化條件不沖突則就可以用一個測試向量檢測。為了在合理的時間內進行高效壓縮,壓縮前本文使用結構化分析來判斷兩條路徑沖突的可能性,這通過定義影響錐進行度量,如果兩條路徑的影響錐重疊得越少