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

fYear

1993

fDate

7-9 Mar 1993

Firstpage

418

Lastpage

422

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;

fLanguage

English

Publisher

ieee

Conference_Titel

System Theory, 1993. Proceedings SSST '93., Twenty-Fifth Southeastern Symposium on

Conference_Location

Tuscaloosa, AL

ISSN

0094-2898

Print_ISBN

0-8186-3560-6

Type

conf

DOI

10.1109/SSST.1993.522815

Filename

522815