Title :
Design of self-checking interacting FSMs for multiple faults
Author :
Busaba, Fadi Y. ; Lala, Parag K.
Author_Institution :
Dept. of Electr. Eng., North Carolina A&T State Univ., Greensboro, NC, USA
Abstract :
This paper introduces new technique for designing self-checking interacting machines for on-line detection of multiple stuck-at faults. The only assumption is that each constituent submachine of a composite submachine can have only one single stuck-at fault. The proposed technique adds checkers at the embedded interfaces between the submachines
Keywords :
automatic testing; finite state machines; logic design; embedded interfaces; finite state machines; multiple stuck-at faults; on-line detection; self-checking interacting FSM; submachine; Automata; Circuit faults; Combinational circuits; Electrical fault detection; Encoding; Equations; Fault detection; Logic;
Conference_Titel :
Signals, Systems and Computers, 1993. 1993 Conference Record of The Twenty-Seventh Asilomar Conference on
Conference_Location :
Pacific Grove, CA
Print_ISBN :
0-8186-4120-7
DOI :
10.1109/ACSSC.1993.342589
