Synthesis of ASM-based self-checking controllers

I. Levin; V. Sinelnikov; M. Karpovsky

doi:10.1109/DSD.2001.952122

Synthesis of ASM-based self-checking controllers

I. Levin, V. Sinelnikov, M. Karpovsky

School of Education

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

In this paper we present a new technique for on-line checking of FPGA-based sequential devices defined by their algorithmic state machines (ASMs). The technique utilizes specific properties of ASMs for achieving the totally self-checking goal with a low hardware overhead. This technique is based on the architecture that consists of two portions: a self-checking sequential device and a separate totally self-checking (TSC) checker. Each of these portions is implemented as a combination of an "evolution" block and an "execution" block. Comparison of code vectors transferred between these blocks provides for the totally self-checking property. The proposed technique does not require any redundant encoding of output words and uses a one-rail design, thereby drastically decreasing the required overhead. The paper presents overhead estimations and results for benchmarks for the proposed architecture.

Original language	English
Title of host publication	Proceedings - Euromicro Symposium on Digital Systems Design
Subtitle of host publication	Architectures, Methods and Tools, DSD 2001
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	87-93
Number of pages	7
ISBN (Electronic)	0769512399, 9780769512396
DOIs	https://doi.org/10.1109/DSD.2001.952122
State	Published - 2001
Event	Euromicro Symposium on Digital Systems Design, DSD 2001 - Warsaw, Poland Duration: 4 Sep 2001 → 6 Sep 2001

Publication series

Name	Proceedings - Euromicro Symposium on Digital Systems Design: Architectures, Methods and Tools, DSD 2001

Conference

Conference	Euromicro Symposium on Digital Systems Design, DSD 2001
Country/Territory	Poland
City	Warsaw
Period	4/09/01 → 6/09/01

Access to Document

10.1109/DSD.2001.952122

Cite this

Levin, I., Sinelnikov, V., & Karpovsky, M. (2001). Synthesis of ASM-based self-checking controllers. In Proceedings - Euromicro Symposium on Digital Systems Design: Architectures, Methods and Tools, DSD 2001 (pp. 87-93). [952122] (Proceedings - Euromicro Symposium on Digital Systems Design: Architectures, Methods and Tools, DSD 2001). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/DSD.2001.952122

Levin, I. ; Sinelnikov, V. ; Karpovsky, M. / Synthesis of ASM-based self-checking controllers. Proceedings - Euromicro Symposium on Digital Systems Design: Architectures, Methods and Tools, DSD 2001. Institute of Electrical and Electronics Engineers Inc., 2001. pp. 87-93 (Proceedings - Euromicro Symposium on Digital Systems Design: Architectures, Methods and Tools, DSD 2001).

@inproceedings{96cc23568df941aeb5d5a0d493373f26,

title = "Synthesis of ASM-based self-checking controllers",

abstract = "In this paper we present a new technique for on-line checking of FPGA-based sequential devices defined by their algorithmic state machines (ASMs). The technique utilizes specific properties of ASMs for achieving the totally self-checking goal with a low hardware overhead. This technique is based on the architecture that consists of two portions: a self-checking sequential device and a separate totally self-checking (TSC) checker. Each of these portions is implemented as a combination of an {"}evolution{"} block and an {"}execution{"} block. Comparison of code vectors transferred between these blocks provides for the totally self-checking property. The proposed technique does not require any redundant encoding of output words and uses a one-rail design, thereby drastically decreasing the required overhead. The paper presents overhead estimations and results for benchmarks for the proposed architecture.",

author = "I. Levin and V. Sinelnikov and M. Karpovsky",

note = "Publisher Copyright: {\textcopyright} 2001 IEEE.; null ; Conference date: 04-09-2001 Through 06-09-2001",

year = "2001",

doi = "10.1109/DSD.2001.952122",

language = "אנגלית",

series = "Proceedings - Euromicro Symposium on Digital Systems Design: Architectures, Methods and Tools, DSD 2001",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "87--93",

booktitle = "Proceedings - Euromicro Symposium on Digital Systems Design",

address = "ארצות הברית",

}

Levin, I, Sinelnikov, V & Karpovsky, M 2001, Synthesis of ASM-based self-checking controllers. in Proceedings - Euromicro Symposium on Digital Systems Design: Architectures, Methods and Tools, DSD 2001., 952122, Proceedings - Euromicro Symposium on Digital Systems Design: Architectures, Methods and Tools, DSD 2001, Institute of Electrical and Electronics Engineers Inc., pp. 87-93, Euromicro Symposium on Digital Systems Design, DSD 2001, Warsaw, Poland, 4/09/01. https://doi.org/10.1109/DSD.2001.952122

Synthesis of ASM-based self-checking controllers. / Levin, I.; Sinelnikov, V.; Karpovsky, M.

Proceedings - Euromicro Symposium on Digital Systems Design: Architectures, Methods and Tools, DSD 2001. Institute of Electrical and Electronics Engineers Inc., 2001. p. 87-93 952122 (Proceedings - Euromicro Symposium on Digital Systems Design: Architectures, Methods and Tools, DSD 2001).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Synthesis of ASM-based self-checking controllers

AU - Levin, I.

AU - Sinelnikov, V.

AU - Karpovsky, M.

PY - 2001

Y1 - 2001

N2 - In this paper we present a new technique for on-line checking of FPGA-based sequential devices defined by their algorithmic state machines (ASMs). The technique utilizes specific properties of ASMs for achieving the totally self-checking goal with a low hardware overhead. This technique is based on the architecture that consists of two portions: a self-checking sequential device and a separate totally self-checking (TSC) checker. Each of these portions is implemented as a combination of an "evolution" block and an "execution" block. Comparison of code vectors transferred between these blocks provides for the totally self-checking property. The proposed technique does not require any redundant encoding of output words and uses a one-rail design, thereby drastically decreasing the required overhead. The paper presents overhead estimations and results for benchmarks for the proposed architecture.

AB - In this paper we present a new technique for on-line checking of FPGA-based sequential devices defined by their algorithmic state machines (ASMs). The technique utilizes specific properties of ASMs for achieving the totally self-checking goal with a low hardware overhead. This technique is based on the architecture that consists of two portions: a self-checking sequential device and a separate totally self-checking (TSC) checker. Each of these portions is implemented as a combination of an "evolution" block and an "execution" block. Comparison of code vectors transferred between these blocks provides for the totally self-checking property. The proposed technique does not require any redundant encoding of output words and uses a one-rail design, thereby drastically decreasing the required overhead. The paper presents overhead estimations and results for benchmarks for the proposed architecture.

UR - http://www.scopus.com/inward/record.url?scp=84969546665&partnerID=8YFLogxK

U2 - 10.1109/DSD.2001.952122

DO - 10.1109/DSD.2001.952122

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:84969546665

T3 - Proceedings - Euromicro Symposium on Digital Systems Design: Architectures, Methods and Tools, DSD 2001

SP - 87

EP - 93

BT - Proceedings - Euromicro Symposium on Digital Systems Design

PB - Institute of Electrical and Electronics Engineers Inc.

Y2 - 4 September 2001 through 6 September 2001

ER -

Levin I, Sinelnikov V, Karpovsky M. Synthesis of ASM-based self-checking controllers. In Proceedings - Euromicro Symposium on Digital Systems Design: Architectures, Methods and Tools, DSD 2001. Institute of Electrical and Electronics Engineers Inc. 2001. p. 87-93. 952122. (Proceedings - Euromicro Symposium on Digital Systems Design: Architectures, Methods and Tools, DSD 2001). https://doi.org/10.1109/DSD.2001.952122

Synthesis of ASM-based self-checking controllers

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this