NEPTUNE: an automatic test pattern generator for finite state machines

The authors present a novel test algorithm for one-hot encoded finite-state machines (FSMs) that are strongly connected, fully specified, and nonredundant. The algorithm generates test vectors in the HILO format. Fault simulation results are presented which show 100% fault coverages. The test vectors are generated by first identifying and then sensitizing a minimal set of paths containing all the edges in the state transition diagram. The state-to-state sequencing information presented in the state transition table is utilized to identify these paths and generate the test vectors. This work builds on previous work (R.Z. Makki, J. Muha, S. Bou-Ghazale, T. Kaylani, 1990) that was restricted to a class of FSMs designed under a controlled environment. The restriction is removed here so as to target a larger class of FSMs