NEPTUNE: an automatic test pattern generator for finite state machines

Author

Divekar, Shashank ; Makki, Rafic Z. ; Mostafavi, Taghi M.

Author_Institution

North Carolina Univ., Charlotte, NC, USA

fYear

1991

fDate

7-10 Apr 1991

Firstpage

1060

Abstract

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

Keywords

automatic testing; finite automata; logic testing; HILO format; NEPTUNE; automatic test pattern generator; fault coverages; finite state machines; one-hot encoded finite-state machines; state transition diagram; state transition table; state-to-state sequencing information; test vectors; Automata; Circuit faults; Circuit simulation; Circuit testing; Decoding; Logic circuits; Logic testing; Sequential analysis; Test pattern generators; Very large scale integration;

fLanguage

English

Publisher

ieee

Conference_Titel

Southeastcon '91., IEEE Proceedings of

Conference_Location

Williamsburg, VA

Print_ISBN

0-7803-0033-5

Type

conf

DOI

10.1109/SECON.1991.147925

Filename

147925