Concurrent error detection in FSMs using transition checking technique

被引：0

作者：

Djordjevic, GL ^{[1
]}

Stankovic, TR ^{[1
]}

Stojcev, MK ^{[1
]}

机构：

[1] Fac Elect Engn, Nish 18000, Serbia Monteneg

来源：

Telsiks 2005, Proceedings, Vols 1 and 2 | 2005年

关键词：

concurrent error detection; partial self-checking; finite-state machine;

D O I：

暂无

中图分类号：

TN [电子技术、通信技术];

学科分类号：

0809 ;

摘要：

As a complexity of VLSI ICs increases, the inclusion of concurent error detection is becoming a major concern. In this paper, we address the problem of concurrent error detection in finite state machines (FSMs). In particular, we propose an efficient technique for partial self-checking FSM design based on on-line monitoring of FSM state transitions. We focus primarily on describing an adopted behavioral error model and analytical analysis of the proposed technique. Results concerning error coverage, obtained for benchmark FSMs, are reported.

引用

页码：61 / 64

页数：4

共 50 条

[21] Theory-Aided Model Checking of Concurrent Transition Systems
Katz, Guy
Barrett, Clark
Harel, David
PROCEEDINGS OF THE 15TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2015), 2015, : 81 - 88
[22] Algorithm level re-computing using implementation diversity: A register transfer level concurrent error detection technique
Karri, R
Wu, KJ
IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2002, 10 (06) : 864 - 875
[23] Effect of FPGA Circuit Implementation on Error Detection Using Logic Implication Checking
Afzaal, Umar
Hassan, Abdus Sami
Arifeen, Tooba
Lee, Jeong-A
2018 21ST EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2018), 2018, : 196 - 200
[24] Concurrent error detection at architectural level
Bolchini, C
Fornaciari, W
Salice, F
Sciuto, D
11TH INTERNATIONAL SYMPOSIUM ON SYSTEM SYNTHESIS - PROCEEDINGS, 1998, : 72 - 75
[25] Diversity techniques for concurrent error detection
Mitra, S
McCluskey, EJ
INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN, PROCEEDINGS, 2001, : 249 - 250
[26] Concurrent error detection in block ciphers
Fernández-Gómez, S
Rodríguez-Andina, JJ
Mandado, E
INTERNATIONAL TEST CONFERENCE 2000, PROCEEDINGS, 2000, : 979 - 984
[27] Concurrent Error Detection for LSTM Accelerators
Nosrati, Nooshin
Ghasemi, Seyedeh Maryam
Roodsari, Mahboobe Sadeghipour
Navabi, Zainalabedin
2022 IEEE EUROPEAN TEST SYMPOSIUM (ETS 2022), 2022,
[28] COMPUTATION WITH SIMULTANEOUSLY CONCURRENT ERROR-DETECTION USING BIDIRECTIONAL OPERANDS
CHEN, LG
CHEN, TH
PROCEEDINGS - IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN : VLSI IN COMPUTERS & PROCESSORS, 1989, : 128 - 131
[29] Concurrent Error Detection in Multipliers by Using Reduced Wordlength Multiplication and Logarithms
Uhl, Alexander
Becker, Juergen
16TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2013), 2013, : 129 - 135
[30] Concurrent error detection in linear analog circuits using state estimation
Stratigopoulos, HGD
Makris, Y
INTERNATIONAL TEST CONFERENCE 2003, PROCEEDINGS, 2003, : 1164 - 1173

← 1 2 3 4 5 →