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

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

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

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