Finite Virtual State Machines

被引：5
|
作者：
Senhadji-Navarro, Raouf [1 ]
Garcia-Vargas, Ignacio [1 ]
机构：
[1] Univ Seville, Comp Architecture & Technol Dept, Seville, Spain
来源：
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS | 2012年 / E95D卷 / 10期
关键词：
finite state machine; reconfiguration; RAM; FPGA; IMPLEMENTATION; RAM;
D O I：
10.1587/transinf.E95.D.2544
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This letter proposes a new model of state machine called Finite Virtual State Machine (FVSM). A memory-based architecture and a procedure for generating FVSM implementations from Finite State Machines (FSMs) are presented. FVSM implementations provide advantages in speed over conventional RAM-based FSM implementations. The results of experiments prove the feasibility of this approach.
引用
收藏
页码：2544 / 2547
页数：4
相关论文
共 50 条
  • [21] INVERSES AND ADJOINTS OF FINITE STATE MACHINES
    PORTER, WA
    [J]. INTERNATIONAL JOURNAL OF CONTROL, 1977, 25 (02) : 201 - 211
  • [22] Lossy communicating finite state machines
    Peng, WX
    [J]. 6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL X, PROCEEDINGS: MOBILE/WIRELESS COMPUTING AND COMMUNICATION SYSTEMS II, 2002, : 37 - 42
  • [23] Stochastic testing of finite state machines
    Hadjicostis, CN
    [J]. PROCEEDINGS OF THE 2001 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2001, : 4568 - 4573
  • [24] Products of fuzzy finite state machines
    Malik, DS
    Mordeson, JN
    Sen, MK
    [J]. FUZZY SETS AND SYSTEMS, 1997, 92 (01) : 95 - 102
  • [25] ON THE STRUCTURE OF FREE FINITE STATE MACHINES
    BEYNON, WM
    [J]. THEORETICAL COMPUTER SCIENCE, 1980, 11 (02) : 167 - 180
  • [26] Incremental testing of finite state machines
    Chaves Pedrosa, Lehilton Lelis
    Moura, Arnaldo Vieira
    [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2013, 23 (08): : 585 - 612
  • [27] Structural decomposition of finite state machines
    Bukowiec, Arkadiusz
    Barkalov, Alexander
    [J]. INTERNATIONAL JOURNAL OF ELECTRONICS AND TELECOMMUNICATIONS, 2009, 55 (02) : 243 - 267
  • [28] Refinement of finite-state machines
    Li, HW
    Min, YH
    Li, ZC
    [J]. CAD/GRAPHICS '2001: PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN AND COMPUTER GRAPHICS, VOLS 1 AND 2, 2001, : 624 - 629
  • [29] Supervisory control of finite state machines
    Aziz, A
    Balarin, F
    Brayton, RK
    DiBenedetto, MD
    Saldanha, A
    [J]. COMPUTER AIDED VERIFICATION, 1995, 939 : 279 - 292
  • [30] Stability of deterministic finite state machines
    Tarraf, DC
    Dahleh, MA
    Megretski, A
    [J]. ACC: PROCEEDINGS OF THE 2005 AMERICAN CONTROL CONFERENCE, VOLS 1-7, 2005, : 3932 - 3936
12345