State assignment for detecting erroneous transitions in finite state machines

被引：0

作者：

Damm, Markus ^{[1
]}

机构：

[1] Univ Frankfurt, Inst Informat, D-6000 Frankfurt, Germany

来源：

DSD 2006: 9TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN: ARCHITECTURES, METHODS AND TOOLS, PROCEEDINGS | 2006年

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

A new concurrent error detection scheme for detecting faulty transitions infinite state machines is presented. Instead of assigning codewords to states, codewords are assigned to transitions by an appropriate state assignment. For the detection of one erroneous bit, it is possible in certain cases to find such an assignment without adding extra state bits. The resulting area overhead is determined for some benchmark examples. Finally, a system paradigm is sketched which uses error detection for soft error correction and reliability management.

引用

页码：483 / 490

页数：8

共 50 条

[31] A decomposition state assignment method of finite state machines oriented towards minimization of power
Kajstura, Krzysztof
Kania, Dariusz
PRZEGLAD ELEKTROTECHNICZNY, 2011, 87 (06): : 146 - 149
[32] Detecting citation types using finite-state machines
Le, Minh-Hoang
Ho, Tu-Bao
Nakamori, Yoshiteru
ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PROCEEDINGS, 2006, 3918 : 265 - 274
[33] Checking states and transitions of a set of communicating finite state machines
Hierons, RM
MICROPROCESSORS AND MICROSYSTEMS, 2001, 24 (09) : 443 - 452
[34] Multiple Codes State Assignment and Code Length Reduction for Power Minimization of Finite State Machines
Grzes, Tomasz
COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL MANAGEMENT, CISIM 2018, 2018, 11127 : 341 - 353
[35] NOVA - STATE ASSIGNMENT OF FINITE STATE MACHINES FOR OPTIMAL 2-LEVEL LOGIC IMPLEMENTATIONS
VILLA, T
SANGIOVANNIVINCENTELLI, A
26TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, 1989, : 327 - 332
[36] Minimization of mealy finite-state machines by using the values of the output variables for state assignment
V. V. Solov’ev
Journal of Computer and Systems Sciences International, 2017, 56 : 96 - 104
[37] NOVA - STATE ASSIGNMENT OF FINITE STATE MACHINES FOR OPTIMAL 2-LEVEL LOGIC IMPLEMENTATION
VILLA, T
SANGIOVANNIVINCENTELLI, A
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1990, 9 (09) : 905 - 924
[38] Minimization of mealy finite-state machines by using the values of the output variables for state assignment
Solov'ev, V. V.
JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 2017, 56 (01) : 96 - 104
[39] Transient Fault Tolerant State Assignment for Stochastic Computing Based on Linear Finite State Machines
Ichihara, Hideyuki
Fukuda, Motoi
Iwagaki, Tsuyoshi
Inoue, Tomoo
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2020, E103A (12) : 1464 - 1471
[40] Finite state machines
Carter, J
POWER ENGINEERING JOURNAL, 2001, 15 (01): : 15 - 15

← 1 2 3 4 5 →