李金哲　于海紅

摘 要 實際數(shù)字電路中的冗余故障耗費(fèi)的運(yùn)算時間長，測試難度大，一些冗余故障采用傳統(tǒng)方法無法測試出。然而，冗余故障會占用內(nèi)存、導(dǎo)致可測數(shù)字電路故障產(chǎn)生矢量化，降低故障檢測的覆蓋率。采用數(shù)字電路冗余故障的沖突方法可以找出不同類型的實際數(shù)字電路冗余故障。采用數(shù)字電路冗余故障的沖突算法可以快速計算出門的邏輯值，從而找出實際數(shù)字電路中的冗余故障。

關(guān)鍵詞 實際數(shù)字電路；冗余故障

中圖分類號：TP331 文獻(xiàn)標(biāo)識碼：A 文章編號：1671-7597（2014）08-0165-02

實際數(shù)字電路是由一些兩個狀態(tài)的元器件組成的，用來處理在時間、數(shù)值方面均離散的數(shù)字信號。實際數(shù)字電路的工作原理是通過工作元件的狀態(tài)來表示離散信號。從功能角度可以將實際數(shù)字電路分為時序邏輯電路和組合邏輯電路。時序邏輯電路由帶有觸發(fā)器的電路進(jìn)行信號的記憶和表達(dá)，在輸出端將存儲的信息表達(dá)出來。組合邏輯電路是由多種電路組合成，是一種輸出由輸入信號決定的電路[1]。

1 對實際數(shù)字電路中故障的檢測面臨困難

實際數(shù)字電路的使用范圍廣泛。我們?nèi)粘Ｉ钪惺褂玫母呖萍籍a(chǎn)品中常常存在大量實際數(shù)字電路的集成。技術(shù)人員在進(jìn)行電子產(chǎn)品設(shè)計、安裝、調(diào)試時常常遇到由數(shù)字電路產(chǎn)生的故障。由于數(shù)字電路元器件眾多，部分元件被封存在芯片中，為電路故障的檢測造成了困難。因此，首先需要分析實際數(shù)字電路產(chǎn)生故障的原因，進(jìn)而對故障類型進(jìn)行診斷，最后進(jìn)行相應(yīng)的調(diào)整和維修[1]。

2 實際數(shù)字電路產(chǎn)生故障的原因分析

元器件老化是實際數(shù)字電路故障的原因之一，由于長期使用會使金屬元件參數(shù)值發(fā)生變化。溫度變化也可能引起金屬元件參數(shù)值的改變。

由于焊點氧化產(chǎn)生的接觸不良也可導(dǎo)致實際數(shù)字電路故障。進(jìn)水或暴露在空氣中都可能使電路中出現(xiàn)接觸不良。

當(dāng)溫度、濕度等環(huán)境參數(shù)改變時，如果無法達(dá)到電路工作所需的環(huán)境條件，也可能導(dǎo)致實際數(shù)字電路的故障。

如果實際數(shù)字電路中的元件超期使用，也可能導(dǎo)致元器件老化、元器件無法正常工作，從而產(chǎn)生實際數(shù)字電路的故障[1]。

3 實際數(shù)字電路故障的診斷方法[1]

實際數(shù)字電路的故障診斷的一般方法是：按一定順序?qū)υ骷鹨贿M(jìn)行檢測，直到故障排除。數(shù)字電路元件眾多，部分元件封存在芯片中，這些元件的參數(shù)難以測量，因此需要對數(shù)字電路的故障診斷方法進(jìn)行進(jìn)一步探究。

有經(jīng)驗的工作人員可以通過向相關(guān)人員詢問實際數(shù)字電路產(chǎn)生的故障后果和表現(xiàn)來判斷是哪一部分電路出現(xiàn)了故障，這種方法直接、快速、效果好，但需要有一定的電路維修經(jīng)驗。

在故障檢測時，還可以通過向?qū)嶋H數(shù)字電路輸入信號，依據(jù)輸出信號的異常情況或中斷現(xiàn)象找到電路中的故障。信號可以向輸入端也可以向?qū)嶋H數(shù)字電路中的某個過程輸入。這種方法工作量大、耗費(fèi)時間多，需要采用更好的方法來替代。

在檢查電路中的故障時，還可以采用比較法對實際數(shù)字電路進(jìn)行診斷。測出正常工作的電路在關(guān)鍵點上的參數(shù)值與故障電路比較，可得出關(guān)鍵點是否正常工作，從而找出電路中存在的故障。但需要注意的是：故障有時反而不存在于關(guān)鍵點，而是在數(shù)字電路中非常微小的地方。

在復(fù)雜的數(shù)字電路中，如果故障難以查出，可以通過更換質(zhì)量更好的元件來觀察實際數(shù)字電路是否能正常運(yùn)行，如果仍然無法正常運(yùn)行，進(jìn)行下一步檢測。這種方法可以迅速找出由元件故障造成的數(shù)字電路故障。

4 優(yōu)化的實際數(shù)字電路故障診斷方法[1]

通過對實際數(shù)字電路結(jié)構(gòu)、功能的了解，可以將數(shù)字電路分成若干獨(dú)立電路，依據(jù)通電測試結(jié)果找出有問題的那部分，然后采取措施找到故障點，排除故障。這種方法在復(fù)雜的實際數(shù)字電路中能提高故障診斷效率。

當(dāng)出現(xiàn)用電器冒煙或有異味，應(yīng)首先切斷電源，采用電阻檢測法檢查電路板或?qū)嶋H數(shù)字電路連接線處是否有短路或接觸不良。這種方法簡便易操作，可迅速找到故障點。

在脈沖數(shù)字電路中，使用示波器檢測波形可迅速找到電路中的故障點。這種方法對檢修人員的素質(zhì)提出了較高要求。但這種方法準(zhǔn)確安全、效率高，是進(jìn)行實際數(shù)字電路故障檢測的優(yōu)良對策。

5 實際數(shù)字電路中的冗余故障

冗余故障是由冗余結(jié)構(gòu)引起的一種數(shù)字電路故障?？赡軐?dǎo)致以下幾種狀況：使實際數(shù)字電路從有效狀態(tài)向非法狀態(tài)轉(zhuǎn)變；使不可達(dá)狀態(tài)變成可達(dá)狀態(tài)；使?fàn)顟B(tài)數(shù)遠(yuǎn)大于非確定型電路的合法狀態(tài)數(shù)，使驗證變得復(fù)雜。導(dǎo)致冗余結(jié)構(gòu)的存在可能是因為實際數(shù)字電路未能實現(xiàn)最優(yōu)化，也可能是為解決電路中的某些問題而人為設(shè)置的。

6 實際數(shù)字電路中冗余故障產(chǎn)生的原因

在非確定型實際數(shù)字電路中，冗余故障可表現(xiàn)為兩種狀態(tài)：第一種是結(jié)構(gòu)冗余故障，第二種是功能冗余故障。結(jié)構(gòu)冗余故障不引起狀態(tài)的錯誤變換，其物理故障不可測。這種故障不可測的原因可能有以下幾個：其一是物理故障多變換，使得單故障測試無能為力。其二是故障為未定義故障或變換數(shù)量增加，產(chǎn)生了物理故障無法測出。第二種是功能冗余故障，表現(xiàn)為物理故障使實際數(shù)字電路中產(chǎn)生了不會改變?nèi)魏魏戏顟B(tài)的變換，使得單故障測試集無法測出，但是可通過門級測試解決此類故障[2]。

7 實際數(shù)字電路中冗余故障的檢測

1）組合實際數(shù)字電路中冗余故障為不可測故障。在組合實際數(shù)字電路條件下，所有的冗余故障都是不可測的。但不可測故障不一定是冗余故障。例如：一個可測故障遇到一個不可測故障可能產(chǎn)生冗余不可測故障。在組合實際數(shù)字電路中，可測故障一定不是冗余故障。例如：兩個不可測故障可能成為一個可測故障。[2]。

2）時序?qū)嶋H數(shù)字電路中冗余故障可能為不可測故障。時序?qū)嶋H數(shù)字電路中的狀態(tài)變換可產(chǎn)生四類故障：①非激活故障：未提供輸入序列產(chǎn)生的故障；②非傳播故障：將未輸入序列故障的效應(yīng)傳播到輸出端；③不可測故障：輸入序列無法檢測到的故障；④難測故障：存在測試序列但測試復(fù)雜工作量大而無法檢測到該故障[2]。endprint

3）實際數(shù)字電路中冗余故障的確認(rèn)策略。冗余故障確認(rèn)理論表明，通過證明冗余部分的故障不存在于任何測試中，即可證明某條線或功能塊是冗余的。在實際操作中可通過設(shè)計等價實際數(shù)字電路的方法進(jìn)行測試，通過與無故障實際數(shù)字電路輸出進(jìn)行對比測出是否存在冗余故障[2]。

4）實際數(shù)字電路中冗余故障的分類[3]。實際數(shù)字電路中的冗余故障可分為以下幾類：第一種是恒值點產(chǎn)生的故障。即：實際數(shù)字電路中存在布爾值不變的地方。造成這種故障的原因有以下幾種：①在“與”“非”“與非”“或非”門的輸出處，對扇出樹分別賦值0、1，實際數(shù)字電路中某點的值不變；②異或門的輸入值恒相同或恒相反，使輸出值不變；③在以恒值點為錐的堆內(nèi)存在冗余故障。

第二種是單純D傳送被堵塞的冗余故障。即：單純從故障處到PO的D傳送被堵塞的故障。這類故障的原因主要有以下幾個：①同一扇出樹的同一極性、多個扇葉的同門扇入；②隱式扇出；③型；④及其變型。

第三種是復(fù)合作用導(dǎo)致的冗余故障。在測試碼中，每一步都盡可能取盡必取值，找出某點出必取值與實際取值的矛盾，即可測出冗余故障點。

第四種是異或門內(nèi)的冗余故障。如果在對一個異或門進(jìn)行完全測試時沒有完全通過，由此，可找出此類冗余故障。這類冗余故障產(chǎn)生的原因有以下幾種：①一個測試的輸入為不可能的值；②D傳送被堵塞；③復(fù)合作用；④門輸出通路被堵塞。

第五種是最難測的冗余故障。檢測方法是：列出布爾式，通過賦必取值判斷出方程組無解，從而找出冗余故障點。

5）冗余故障查找的一般方法。冗余故障查找首先應(yīng)依據(jù)數(shù)字電路的結(jié)構(gòu)、按照數(shù)字電路測試的一般規(guī)律進(jìn)行。對實際因為需要盡可能取盡必取值，因此在電路預(yù)處理時應(yīng)整理扇出樹[3]。數(shù)字電路過程中的每一步賦必取值，進(jìn)而判斷出冗余故障。在檢測實際數(shù)字電路中的冗余故障時，應(yīng)首先進(jìn)行D傳送，選擇10以上D算法，如果所有通路被堵塞，則判斷出冗余故障。

8 實際數(shù)字電路中冗余故障的識別算法

冗余故障是無法通過傳統(tǒng)的激活矢量或故障傳播效應(yīng)方式進(jìn)行測試的故障。對冗余故障的測試耗費(fèi)時間長、消耗內(nèi)存量大，很難尋找到故障點。冗余故障還會導(dǎo)致實際數(shù)字電路中可測故障的矢量生成，這會減小故障中測試對數(shù)字電路中可測故障矢量的覆蓋范圍。冗余故障雖然是不可測故障，但可通過賦值沖突方法進(jìn)行識別[4]。

這種算法的基本原理是：對數(shù)字電路的單條信號線賦值，找出單條信號線上的邏輯值與輸出值之間的沖突。算法的對象是數(shù)字電路中具有不可觀性和不可控性的冗余故障的集合。例如：兩個故障集合S0、S1，通過冗余故障識別算法可以計算出邏輯門“g”，從而從邏輯值與輸出值的沖突中找出可檢測的冗余故障[4]。

通過分析邏輯值與實際輸出值的沖突，計算實際數(shù)字電路中的邏輯值并設(shè)置標(biāo)記，采用不可觀性和不可控性的方法可識別實際數(shù)字電路中的冗余故障，進(jìn)而可以對故障進(jìn)行快速的分析和處理。這種方法可以降低電路故障的運(yùn)算時間，提高測試的故障覆蓋范圍，有效解決實際數(shù)字電路高度集成、測試難度大的問題[4]。

參考文獻(xiàn)

[1]王向麗，朱慧妍.探究數(shù)字電路故障檢測與診斷[J].數(shù)字技術(shù)與應(yīng)用，2013（11）：214-215.

[2]何新華，劉玉軍.數(shù)字電路冗余狀態(tài)確認(rèn)研究[A].第十屆全國容錯計算會議論文集[C].

[3]梁業(yè)偉，楊志娟，石茵，魏道政.對數(shù)字電路中冗余故障的分析[J].計算機(jī)研究與發(fā)展，2001，38（12）：1429-1434.

[4]李珊瓊.數(shù)字電路冗余故障的識別算法研究[J].數(shù)字技術(shù)與應(yīng)用，2012（05）：113.

作者簡介

李金哲（1980-），男，河北邯鄲人，講師，本科，研究方向：電子電工教學(xué)與應(yīng)用。

于海紅（1979-），男，一級實習(xí)指導(dǎo)教師，本科，研究方向：機(jī)電一體化。endprint