The design of self-checking systems is a viable approach for coping with critical applications, guaranteeing the on-line detection of a fault as soon as it causes an erroneous behavior. The aim of this paper is the dejnition of a design strategy for sequential circuits, starting from their description in terms of Finite State Machines. The attention is focused on a constant distance code and state encoding technique which provide, together with a traditional Berger encoding of the outputs, a self-checking system. Benchmark results and a comparison with other approaches are presented to evaluate the quality of the proposed methodology.
Self-checking FSMs based on a constant distance state encoding
BOLCHINI, CRISTIANA;SALICE, FABIO;SCIUTO, DONATELLA
1995-01-01
Abstract
The design of self-checking systems is a viable approach for coping with critical applications, guaranteeing the on-line detection of a fault as soon as it causes an erroneous behavior. The aim of this paper is the dejnition of a design strategy for sequential circuits, starting from their description in terms of Finite State Machines. The attention is focused on a constant distance code and state encoding technique which provide, together with a traditional Berger encoding of the outputs, a self-checking system. Benchmark results and a comparison with other approaches are presented to evaluate the quality of the proposed methodology.File | Dimensione | Formato | |
---|---|---|---|
00476961.pdf
Accesso riservato
:
Post-Print (DRAFT o Author’s Accepted Manuscript-AAM)
Dimensione
436.93 kB
Formato
Adobe PDF
|
436.93 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.