부산대학교 도서관

Cell-aware and gate-exhaustive faults are used for modeling defects whose activation requirements are more complex than those of stuck-at or transition faults. The number of cell-aware or gate-exhaustive faults targeted for test generation has to be bounded to avoid the generation of excessive numbers of tests. In this context, it is advantageous to be able to estimate the number of tests in advance based on the number of target faults, and avoid targeting an excessive number of faults that will result in an excessive number of tests. This article suggests such an estimate for the scenario where test generation is applied iteratively using subsets of single-cycle gate-exhaustive faults such that the detection of every additional subset will provide a meaningful increase in the coverage of the test set. Based on the results of iteration $I-1$ , the estimate predicts the number of tests that will be obtained in iteration $I$ . Test generation can terminate, without generating additional tests, when the estimate indicates that the number of tests will exceed a preselected bound. Experimental results for benchmark circuits demonstrate the accuracy of the estimate.