ATPG can generate automatically test vectors for specific faults using some algorithms such as D, path sensibilization or Boolean difference.
自动测试向量生成算法便是其中的一种,它是利用一些算法例如D算法,通路敏化法或者布尔差分法自动产生出能够检测某些故障的测试向量。
参考来源 - 基于SAT的VLSI测试向量自动生成技术·2,447,543篇论文数据，部分数据来源于NoteExpress
二阶布尔差分通过两次变换产生新积项，并删除相同积项来得到。
The second-order Boolean difference was obtained by double transform operations to produce new product items, and the same product items were deleted.
此外，还讨论了特殊运算——布尔差分、布尔微分及布尔积分等的理论计算以及在故障检测中的应用。
In addition, this dissertation 'discusses Boolean differential, integral calculus and their application to detection of digital circuit faults.
本文利用布尔差分的性质，给出了一种不同于传统的求组合逻辑线路故障测试码的新方法，对故障测试有一定的简化作用。
The properties of Boolean difference are made use of to derive a new method for fault testing in combinational logic circuits. This method is simpler and different from the traditional one.
应用推荐