VLSI Design

VLSI Design / 1994 / Article
Special Issue

Digital Hardware Testing

View this Special Issue

Open Access

Volume 1 |Article ID 082606 | https://doi.org/10.1155/1994/82606

Fadi Busaba, Parag K. Lala, "An Approach for Self-Checking Realization of Interacting Finite State Machines", VLSI Design, vol. 1, Article ID 082606, 9 pages, 1994. https://doi.org/10.1155/1994/82606

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


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

Copyright © 1994 Hindawi Publishing Corporation. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

More related articles

62 Views | 267 Downloads | 1 Citation
 PDF Download Citation Citation
 Order printed copiesOrder

Related articles

We are committed to sharing findings related to COVID-19 as quickly as possible. We will be providing unlimited waivers of publication charges for accepted research articles as well as case reports and case series related to COVID-19. Review articles are excluded from this waiver policy. Sign up here as a reviewer to help fast-track new submissions.