A method of test generation for large combinational circuits using input vector in pairs

The authors investigate a new method of test generation for large combinational circuits using input vectors in pairs. The forming rules of the best test codes are derived and analysed. The cut theorem and cut test generation are studied. The experiment results are completely in accordance with the theory. This proves that the test generation approach given the paper is correct and useful.<
>