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

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

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