通路敏化法以及相關的自動測試生成算法

   對一條通路中所有邏輯門電路的一切輸人設定適當的值,然后追蹤信號線上的這個邏輯變化傳播到輸出端的結果,其輸出端的邏輯變化能反映該信號線的邏輯變化, OB2263就稱這樣的通路為一條敏化通路。這樣,根據輸出端的邏輯變化就能確定出敏化通路上的邏輯故障,從而找出檢測該故障的一個測試矢童。

   如果要讓故障能傳播到輸出端,那么通道內一切與門(AND)和與非門(NAND)的其余輸人端都應該要設定為1值;一切或門(OR)和或非門(N()R)的其余輸人端都應該設定為0值。這就是故障傳播和通路敏化的條件。

   通路敏化法的主要步驟如下:

   (1)故障敏化。對一個固定型故障(stuck at fault)通過使驅動信號和故障相反的邏輯值來激活。這對于確保無故障電路和有故障電路之問的行為的不同是必須的。

   (2)故障傳播。將故障相應通過一條或多條路徑傳播到電路的輸出。

   (3)一致性檢查。就是從敏化通路的輸出端返回到輸人端,檢查輸人門的各個輸入邏輯是否一致。如果相同,那么這一個故障的敏化就是成功的,否則就要尋找另外一條路徑,并重復上面各步驟。