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 条
  • [21] STATE ASSIGNMENT AND TESTABILITY OF PLA-BASED FINITE STATE MACHINES
    BUONANNO, G
    SERRA, M
    MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 391 - 398
  • [22] Simulated annealing based parallel state assignment of finite state machines
    Hasteer, G
    Banerjee, P
    TENTH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS, 1997, : 69 - 75
  • [23] Finite state machines with operational implementation of transitions
    1600, Springer Verlag (294):
  • [24] MUSTANG - STATE ASSIGNMENT OF FINITE STATE MACHINES TARGETING MULTILEVEL LOGIC IMPLEMENTATIONS
    DEVADAS, S
    MA, HK
    NEWTON, AR
    SANGIOVANNIVINCENTELLI, A
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1988, 7 (12) : 1290 - 1300
  • [25] Quantum-Inspired Evolutionary State Assignment for Synchronous Finite State Machines
    Mello Araujo, Marcos Paulo
    Nedjah, Nadia
    Mourelle, Luiza de Macedo
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2008, 14 (15) : 2532 - 2548
  • [26] Low Power Synthesis of Finite State Machines - State Assignment Decomposition Algorithm
    Kajstura, Krzysztof
    Kania, Dariusz
    JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 2018, 27 (03)
  • [27] State Assignment of Finite-State Machines by Using the Values of Input Variables
    Salauyou, Valery
    Ostapczuk, Michal
    COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL MANAGEMENT (CISIM 2017), 2017, 10244 : 592 - 603
  • [28] State Assignment for Fault Tolerant Stochastic Computing with Linear Finite State Machines
    Ichihara, Hideyuki
    Fukuda, Motoi
    Iwagaki, Tsuyoshi
    Inoue, Tomoo
    2017 INTERNATIONAL TEST CONFERENCE IN ASIA (ITC-ASIA), 2017, : 156 - 161
  • [29] An Evolutionary Strategy Based State Assignment for Area-minimization Finite State Machines
    Tao, Yanyun
    Zhang, Lijun
    Zhang, Yuzhen
    2015 IEEE SYMPOSIUM SERIES ON COMPUTATIONAL INTELLIGENCE (IEEE SSCI), 2015, : 1491 - 1498
  • [30] STATE ASSIGNMENT IN FINITE-STATE MACHINES FOR MINIMAL SWITCHING POWER-CONSUMPTION
    HONG, SK
    PARK, IC
    HWANG, SH
    KYUNG, CM
    ELECTRONICS LETTERS, 1994, 30 (08) : 627 - 629
12345