Low cost and high speed embedded two-rail code checker
Low cost and high speed embedded two-rail code checker
In this paper, we propose a compact, high-speed, and highly testable parallel two-rail code checker, particularly suitable to implementing embedded checkers. In fact, it requires only two input codewords to satisfy the Totally-Self-Checking or Strongly Code-Disjoint property with respect to a wide set of realistic internal faults. Our checker can be employed to check the correct operation of a connected functional block using the two-rail code, to implement the output two-rail code checker of “normal” checkers for unordered codes, or to join together the error messages produced by various checkers (possibly using different codes) present within the same self-checking system. The behavior of our checker has been verified by means of electrical level simulations (performed using HSPICE), considering both nominal values and statistical variations of electrical parameters. We also propose a possible modification to our checker internal structure that makes it able to provide an output error indication remaining latched until the application of a proper reset signal. Depending on the considered application and recovery technique to be employed upon the generation of an error indication at the checker output, one proposed solution or the other may be preferable.
153-164
Omana, Martin
7c091df8-0526-4d15-aa3f-f25dea90dd18
Rossi, Daniele
30c42382-cf0a-447d-8695-fa229b7b8a2f
Metra, Cecilia
c420be13-a9cf-471a-96fb-3f43a694ffae
February 2005
Omana, Martin
7c091df8-0526-4d15-aa3f-f25dea90dd18
Rossi, Daniele
30c42382-cf0a-447d-8695-fa229b7b8a2f
Metra, Cecilia
c420be13-a9cf-471a-96fb-3f43a694ffae
Omana, Martin, Rossi, Daniele and Metra, Cecilia
(2005)
Low cost and high speed embedded two-rail code checker.
IEEE Transactions on Computers, 54 (2), .
(doi:10.1109/TC.2005.30).
Abstract
In this paper, we propose a compact, high-speed, and highly testable parallel two-rail code checker, particularly suitable to implementing embedded checkers. In fact, it requires only two input codewords to satisfy the Totally-Self-Checking or Strongly Code-Disjoint property with respect to a wide set of realistic internal faults. Our checker can be employed to check the correct operation of a connected functional block using the two-rail code, to implement the output two-rail code checker of “normal” checkers for unordered codes, or to join together the error messages produced by various checkers (possibly using different codes) present within the same self-checking system. The behavior of our checker has been verified by means of electrical level simulations (performed using HSPICE), considering both nominal values and statistical variations of electrical parameters. We also propose a possible modification to our checker internal structure that makes it able to provide an output error indication remaining latched until the application of a proper reset signal. Depending on the considered application and recovery technique to be employed upon the generation of an error indication at the checker output, one proposed solution or the other may be preferable.
Text
tcomp05.pdf
- Version of Record
Restricted to Repository staff only
Request a copy
More information
Published date: February 2005
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 368674
URI: http://eprints.soton.ac.uk/id/eprint/368674
PURE UUID: ac78004e-b9f5-4f06-8a33-8861bbf0ee5d
Catalogue record
Date deposited: 22 Sep 2014 12:49
Last modified: 14 Mar 2024 17:51
Export record
Altmetrics
Contributors
Author:
Martin Omana
Author:
Daniele Rossi
Author:
Cecilia Metra
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics