BDD及其在電路故障檢測與可靠度中的應(yīng)用研究.pdf

1、二元判決圖BDD(Binary Decision Diagram)是邏輯布爾函數(shù)的一種高效表示方法,在計算機科學(xué)以及數(shù)字電路與系統(tǒng)等領(lǐng)域中有廣泛的應(yīng)用.該文首先介紹了BDD的原理與相關(guān)結(jié)論,說明了變量編序?qū)τ贐DD規(guī)模(節(jié)點數(shù)和路徑深度)大小的影響.在此基礎(chǔ)上,提出了在BDD的建模中一種簡單、易行的編序算法,該算法不涉及其他領(lǐng)域的概念,容易理解.其次,對BDD包的建立進行了討論,并以現(xiàn)在較為流行的ITE(IF-THEN-ELSE)算法為

2、依據(jù),用C++語言進行了BDD的構(gòu)建.能完成對任意基于CDL語言描述的組合邏輯電路或布爾函數(shù),實現(xiàn)其BDD表示并通過對BDD的操作實現(xiàn)對相應(yīng)組合電路或布爾函數(shù)的操作.最后,研究了基于BDD的組合電路的故障檢測方法和基于BDD的網(wǎng)絡(luò)可靠度的計算方法等兩方面的應(yīng)用.BDD應(yīng)用于數(shù)字電路的固定型故障檢測,建立的故障節(jié)點的檢測BDD可以比較方便地得出電路故障的測試矢量,相比傳統(tǒng)的測試算法,避免了龐大的反向回溯過程.關(guān)于網(wǎng)絡(luò)可靠度,在已有結(jié)果的基