论文部分内容阅读
针对求解逻辑门数目比较多的组合电路故障测试矢量问题，特别是求解多故障测试矢量时布尔差分法需要进行大量的布尔表达式化简和求异或运算的问题，提出将复杂的布尔表达式简单划分为一些简短的布尔表达式。用一个树型结构将这些简短表达式组织起来，形成一棵方程树，再根据输出值只依赖于故障点变量的思想来求解测试矢量，避免了布尔表达式繁琐化简和大量求异或运算的问题，使得多故障测试生成问题简化。