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

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

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