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

fYear

1993

fDate

1-3 Nov 1993

Firstpage

607

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Signals, Systems and Computers, 1993. 1993 Conference Record of The Twenty-Seventh Asilomar Conference on

Conference_Location

Pacific Grove, CA

ISSN

1058-6393

Print_ISBN

0-8186-4120-7

Type

conf

DOI

10.1109/ACSSC.1993.342589

Filename

342589

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2255477