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 条
  • [1] OPTIMAL STATE ASSIGNMENT FOR FINITE STATE MACHINES
    DEMICHELI, G
    BRAYTON, RK
    SANGIOVANNIVINCENTELLI, A
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1985, 4 (03) : 269 - 285
  • [2] State assignment of finite-state machines
    Ahmad, I
    Dhodhi, MK
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2000, 147 (01): : 15 - 22
  • [3] A state assignment algorithm for finite state machines
    Skias, D
    Haniotakis, T
    Tsiatouhas, Y
    Arapoyanni, A
    ICECS 2000: 7TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS & SYSTEMS, VOLS I AND II, 2000, : 823 - 826
  • [4] Twofold State Assignment for the Moore Finite State Machines
    Barkalov, A. A.
    Titarenko, L. A.
    Baev, A. V.
    Matviienko, A. V.
    CYBERNETICS AND SYSTEMS ANALYSIS, 2023, 59 (01) : 27 - 38
  • [5] State assignment and logic optimization for finite state machines
    Czerwinski, Robert
    Kania, Dariusz
    IFAC WORKSHOP ON PROGRAMMABLE DEVICES AND EMBEDDED SYSTEMS (PDES 2009), PROCEEDINGS, 2009, : 39 - 44
  • [6] A parallel state assignment algorithm for finite state machines
    Bader, DA
    Madduri, K
    HIGH PERFORMANCE COMPUTING - HIPC 2004, 2004, 3296 : 297 - 308
  • [7] Evolutionary state assignment for synchronous finite state machines
    Nedjah, N
    Mourelle, LD
    COMPUTATIONAL SCIENCE - ICCS 2004, PT 3, PROCEEDINGS, 2004, 3038 : 1289 - 1296
  • [8] A parallel algorithm for state assignment of finite state machines
    Hasteer, G
    Banerjee, P
    IEEE TRANSACTIONS ON COMPUTERS, 1998, 47 (02) : 242 - 246
  • [9] Twofold State Assignment for the Moore Finite State Machines
    A. A. Barkalov
    L. A. Titarenko
    A. V. Baev
    A. V. Matviienko
    Cybernetics and Systems Analysis, 2023, 59 : 27 - 38
  • [10] Evolutionary algorithm for state assignment of finite state machines
    Chyzy, M
    Kosinski, W
    EUROMICRO SYMPOSIUM ON DIGITAL SYSTEM DESIGN, PROCEEDINGS: ARCHITECTURES, METHODS AND TOOLS, 2002, : 359 - 362
12345