Title :
On interacting finite state machine design with self-checking capability
Author :
Busaba, Fadi Y. ; Lala, Parag K.
Author_Institution :
Dept. of Electr. Eng., North Carolina A&T State Univ., Greensboro, NC, USA
Abstract :
A technique for designing interacting finite-state machines that will be totally self-checking for any single stuck-at fault is presented. M-out-of-n codes are used for both primary output and state assignments. The next state logic (NSL) for each submachine and the output logic (OL) realized are such that any single stuck-at fault results in either single bit error or unidirectional multibit error at the output. An m-out-of-n checker is added to check the validity of the output lines so that any fault can be detected online by the checker
Keywords :
built-in self test; design for testability; error detection codes; fault location; finite state machines; logic testing; online operation; sequential machines; state assignment; codes; interacting finite state machine design; m-out-of-n checker; next state logic; output logic; primary output assignments; self-checking capability; single bit error; state assignments; stuck-at fault; unidirectional multibit error; Automata; Automatic testing; Circuit faults; Circuit testing; Electrical fault detection; Fault detection; Logic; Sequential analysis; Sequential circuits; Very large scale integration;
Conference_Titel :
System Theory, 1993. Proceedings SSST '93., Twenty-Fifth Southeastern Symposium on
Conference_Location :
Tuscaloosa, AL
Print_ISBN :
0-8186-3560-6
DOI :
10.1109/SSST.1993.522815
