论文部分内容阅读
本文讨论了在源输入的确定赋值数最小时组合电路的测试生成方法后，介绍了基于可满足性的测试向量压缩的整数线性规划(ILP)模型。利用ISCAS85基准电路仿真的结果说明了用此模型求解压缩测试向量非常有效。
In this paper, we discuss the integer linear programming (ILP) model of test vector compression based on satisfiability after the method of test generation for combinational circuits with the minimum number of input determinations. Using the ISCAS85 benchmark simulation results show that using this model to solve the compressed test vector is very effective.