An Approach for Self-Checking Realization of Interacting Finite State Machines | Zendy

F.Y. Busaba | Zendy; P.K. Lala | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

An Approach for Self-Checking Realization of Interacting Finite State Machines

Author(s) -

F.Y. Busaba,

P.K. Lala

Publication year - 1994

Publication title -

vlsi design

Language(s) - English

Resource type - Journals

eISSN - 1065-514X

pISSN - 1026-7123

DOI - 10.1155/1994/82606

Subject(s) - realization (probability) , state (computer science) , finite state machine , computer science , fault (geology) , model checking , algorithm , theoretical computer science , computer engineering , mathematics , statistics , seismology , geology

This paper presents a technique for designing interacting finite state machines which will be totally self-checkingfor any single stuck-at fault. In the proposed technique m-out-of-n codes are used for both primary output andstate assignments. In addition, the next state logic (NSL) for each submachine and the output logic (OL) arerealized such that any single stuck-at fault results in either single bit error or unidirectional multibit error at theoutput. The proposed technique does not have any restriction on the way the NSL and the OL are implemented

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research