论文部分内容阅读
描述了基于可满足性的测试向量压缩的整数线性规划 (ILP)模型 ,求解整数线性规划采用 0 - 1加法算法。由ISCAS85标准电路实验结果的比较说明 ,这种压缩测试向量的方法非常有效。
An Integrative Linear Programming (ILP) model based on the satisfiability of test vectors is described, and the 0 - 1 summing algorithm is used to solve the integer linear programming. The comparison of the experimental results of the ISCAS85 standard circuit shows that this method of compressing the test vector is very effective.