Sequential circuits applicable for detecting different types of faults

I. Levin, V. Sinelnikov, M. Karpovsky, S. Ostanin

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Scopus citations

Abstract

This paper presents methods for designing totally self-checking Mealy type synchronous sequential circuits (SSCs). We use implementations of the output and next state functions that are monotonic in state variables. The monotony enables the SSC to react to permanent faults differently than it does to transient faults. If the fault is permanent, the SSC will produce a non-code output, which will be detected as error by the checker after a number of clock cycles. In the case of a transient fault, the SSC is able to survive and to return to normal operation after a number of clock cycles. A novel universal architecture of self-checking SSCs enabling to overcome the above contradiction is proposed. This architecture can be adopted both for reduction of the fault latency of a permanent fault and for increasing the SSC survivability with respect to a transient fault. A method for SSC synthesis for the proposed architecture is presented. This method is oriented to FPGA implementation.

Original languageEnglish
Title of host publicationProceedings of the 8th IEEE International On-Line Testing Workshop, IOLTW 2002
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages44-48
Number of pages5
ISBN (Electronic)0769516416, 9780769516417
DOIs
StatePublished - 2002
Externally publishedYes
Event8th IEEE International On-Line Testing Workshop, IOLTW 2002 - Isle of Bendor, France
Duration: 8 Jul 200210 Jul 2002

Publication series

NameProceedings of the 8th IEEE International On-Line Testing Workshop, IOLTW 2002

Conference

Conference8th IEEE International On-Line Testing Workshop, IOLTW 2002
Country/TerritoryFrance
CityIsle of Bendor
Period8/07/0210/07/02

Bibliographical note

Publisher Copyright:
© 2002 IEEE.

Fingerprint

Dive into the research topics of 'Sequential circuits applicable for detecting different types of faults'. Together they form a unique fingerprint.

Cite this