A state reduction method for non-scan based FSM testing with don't care inputs identification technique

This paper proposes a state reduction method for non-scan based FSM (finite state machine) testing with a don't care inputs identification technique. States for FSM testing are classified into valid test states and invalid test states. This method reduces the numbers of invalid test states and valid test states using a don't care input identification technique and a state compaction technique. The test length may be shortened by reducing the number of valid test states and additional test area is reduced by reducing the number of invalid test states. Experimental results for MCNC'91 FSM benchmarks and practical FSMs show that the proposed method reduces the test area by 13 to 77% and shortens the test lengths by 10 to 36%.