A SEARCH SPACE PRUNING METHOD FOR TEST PATTERN GENERATION USING SEARCH STATE DOMINANCE
TAKAYUKI FUJINO, Hideo Fujiwara · Journal of Circuits Systems and Computers · 1993
In this paper, we present a new technique that can prune search space in test-pattern generation for combinational circuits. We extend the concept of search state equivalence derived by Giraldi and Bushnell, to that of search state dominance, and propose a new extended method, DST (Dominant STate hashing) algorithm, based on the search state dominance. The DST algorithm can prune the search space more effectively than the EST (Equivalent STate hashing) algorithm of Giraldi and Bushnell. Experimental results on benchmark circuits are reported.