數(shù)字電路測試向量自動生成技術(shù).pdf

1、數(shù)字電路測試向量自動生成一直是電子測試領(lǐng)域關(guān)注的焦點(diǎn)，是開發(fā)電路板／模塊測試程序的難點(diǎn)，也是困擾我軍如何高效合理利用現(xiàn)有自動測試設(shè)備和開發(fā)測試程序組合軟件構(gòu)成具有實(shí)用性的故障診斷系統(tǒng)的關(guān)鍵點(diǎn)。 測試向量生成最關(guān)鍵的技術(shù)是測試向量實(shí)用化算法的實(shí)現(xiàn)，通過對G—F二值算法的分析和研究，設(shè)計(jì)了一種新的方法和策略，采用正向敏化模式按有限回溯策略推導(dǎo)，凡在回溯次數(shù)內(nèi)未能判明目標(biāo)故障不可測的測試生成過程所產(chǎn)生的測試碼都進(jìn)行故障模擬。這種有限回

2、溯策略加速測試生成，對提高系統(tǒng)效率起到了決定性的作用。在GF算法確立正反向驅(qū)動經(jīng)過各類功能塊和反饋線的時(shí)幀變化的基礎(chǔ)上，把推導(dǎo)組合電路目標(biāo)故障測試碼的方法按迭代組合模型推廣到同步時(shí)序電路，且用反向追蹤中的時(shí)幀迭代實(shí)現(xiàn)迭代組合模型中的空間迭代。 通過對同步時(shí)序電路的分析和研究，結(jié)合數(shù)字電路的特點(diǎn)，建立其電路模型和故障模型，生成了電路的器件庫，并可對電路進(jìn)行故障模擬，生成故障字典，生成的故障字典供測試系統(tǒng)使用。數(shù)字電路測試向量自動生