基于布尔差分的数字电路路径时滞故障测试生成算法  

Path Delay Fault Testing Generation Algorithm for Digital Circuits

作　　者：赵莹[1] 丁晶晶[1] 蔡永强[1] 宫海艳[1] 

机构地区：[1]北华大学电气信息工程学院,吉林吉林132021

出　　处：《煤矿机械》2008年第4期207-209,共3页Coal Mine Machinery

摘　　要：针对数字电路路径时滞故障测试生成较难的问题提出了一种基于布尔差分的数字电路路径时滞故障测试生成算法。首先应用路径分支转换法则把数字电路转换成与之相对应的部分分支电路,然后用布尔差分的方法对部分分支电路的单固定故障生成测试矢量,最后把生成的测试矢量转换成为原数字电路路径时滞故障的测试矢量对。在ISCAS’85国际标准电路上的实验结果表明了本算法的可行性和有效性。A path delay fault testing generation algorithm based on Boolean difference for digital circuits is proposed because the testing generation for path delay fault in digital circuits is more difficult.The digital circuit is changed into its partial leaf-dag circuit using path-leaf transformation.Then the testing vectors for single stuck-at fault in the partial leaf-dag circuit are generated using Boolean difference method.Finally,the testing vectors are transformed into the testing vectors pair for path delay fault in the original digital circuit.The experimental results on ISCAS＇85 international standard circuits demonstrate the feasibility and effectiveness of the algorithm.

关 键 词：布尔差分 路径时滞故障 测试生成 

分 类 号：TP39[自动化与计算机技术—计算机应用技术] TP331.2[自动化与计算机技术—计算机科学与技术]