通路敏化法以及相關(guān)的自動(dòng)測(cè)試生成算法

   對(duì)一條通路中所有邏輯門電路的一切輸人設(shè)定適當(dāng)?shù)闹?然后追蹤信號(hào)線上的這個(gè)邏輯變化傳播到輸出端的結(jié)果,其輸出端的邏輯變化能反映該信號(hào)線的邏輯變化, OB2263就稱這樣的通路為一條敏化通路。這樣,根據(jù)輸出端的邏輯變化就能確定出敏化通路上的邏輯故障,從而找出檢測(cè)該故障的一個(gè)測(cè)試矢童。

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

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

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

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

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