A new methodology for defining self-checking sequential architectures is presented in the paper. A m-out-of-n encoding of the juxtaposition of next-state and output eventually completed with additional output lines, is provided. The goal is guaranteeing detection of single and multiple unidirectional errors while minimizing area overhead.
An output/state encoding for self-checking finite state machine
BOLCHINI, CRISTIANA;SCIUTO, DONATELLA
1995-01-01
Abstract
A new methodology for defining self-checking sequential architectures is presented in the paper. A m-out-of-n encoding of the juxtaposition of next-state and output eventually completed with additional output lines, is provided. The goal is guaranteeing detection of single and multiple unidirectional errors while minimizing area overhead.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
00523848.pdf
Accesso riservato
:
Post-Print (DRAFT o Author’s Accepted Manuscript-AAM)
Dimensione
431.17 kB
Formato
Adobe PDF
|
431.17 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
