TY - GEN
T1 - Self-checking sequential circuits with self-healing ability
AU - Levin, Ilya
AU - Ostrovsky, Vladimir
AU - Ostanin, Sergey
AU - Karpovsky, Mark
N1 - Publisher Copyright:
Copyright 2002 ACM.
PY - 2002/4/18
Y1 - 2002/4/18
N2 - In this paper we deal with totally self-checking (TSC) synchronous sequential circuits (SSCs), that are able to recover after an occurrence of a fault. We call SSC owing this property as a self-healing SSC. A concept of a partially monotonic SSC is used in the paper. It is shown that the partially monotonic SSCs satisfy the self-healing property. A novel reduced m-out-of-n code is developed. It is proposed applying this code to the synthesis of a TSC checker for the state monotonic SSCs. The proposed method of synthesis is based on a LUT implementation of monotonic functions. For most circuits in a standard benchmark set, the proposed approach leads to a reduction of about 10-20% of the overhead as compared with the traditional methods.
AB - In this paper we deal with totally self-checking (TSC) synchronous sequential circuits (SSCs), that are able to recover after an occurrence of a fault. We call SSC owing this property as a self-healing SSC. A concept of a partially monotonic SSC is used in the paper. It is shown that the partially monotonic SSCs satisfy the self-healing property. A novel reduced m-out-of-n code is developed. It is proposed applying this code to the synthesis of a TSC checker for the state monotonic SSCs. The proposed method of synthesis is based on a LUT implementation of monotonic functions. For most circuits in a standard benchmark set, the proposed approach leads to a reduction of about 10-20% of the overhead as compared with the traditional methods.
UR - http://www.scopus.com/inward/record.url?scp=77952478989&partnerID=8YFLogxK
U2 - 10.1145/505306.505322
DO - 10.1145/505306.505322
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:77952478989
T3 - GLSVLSI 2002 - Proceedings of the 12th ACM Great Lakes Symposium on VLSI
SP - 71
EP - 76
BT - GLSVLSI 2002 - Proceedings of the 12th ACM Great Lakes Symposium on VLSI
PB - Association for Computing Machinery, Inc
T2 - 12th ACM Great Lakes Symposium on VLSI, GLSVLSI 2002
Y2 - 18 April 2002 through 19 April 2002
ER -