Reconfigurable models of finite state machines and their implementation in FPGAs

Journal of Systems Architecture

Volumn 47, Issue 14-15, 2002, Pages 1043-1064

  Sklyarov, V ^a  

^a UNIVERSITY OF AVEIRO   (Portugal)

Author keywords

FPGA; Hardware template; Hierarchical specification; Reconfigurable FSM; Software model

Indexed keywords

COMPUTER HARDWARE; COMPUTER SIMULATION; FIELD PROGRAMMABLE GATE ARRAYS; HIERARCHICAL SYSTEMS; MATHEMATICAL MODELS; SOFTWARE ENGINEERING;

FINITE STATE MACHINES (FSM);

FINITE AUTOMATA;

EID: 0036684805     PISSN: 13837621     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1383-7621(02)00067-X     Document Type: Article

References (32)

1. Silicon platforms for the next generation wireless systems - What role does reconfigurable hardware play?
2. A quick safari through the reconfiguration jungle
3. (Self-)reconfigurable finite state machines: Theory and implementation
4. Design and implementation of reconfigurable processor for problems of combinatorial computations
5. Hierarchical finite-state machines and their use for digital control
6. An evolutionary algorithm for the synthesis of RAM-based FSMs
7. Hardware/software modeling of FPGA-based systems
8. A reconfigurable embedded input device for kinetically challenged persons
9. Integrated development environment for logic synthesis based on dynamically reconfigurable FPGAs
10. Logic synthesis of reconfigurable control circuits based on mutually exclusive reprogrammable elements
11. Synthesis of VHDL code from the hierarchical specification of control circuits for dynamically reconfigurable FPGAs
12. The specification and design of parallel logical control devices
13. Synthesis and implementation of RAM-based finite state machines in FPGAs
14. Graphical description and hardware implementation of parallel control algorithms
15. Synthesis of control circuits with dynamically modifiable behavior on the basis of statically reconfigurable FPGAs
16. An algebra of FPGA configurations
17. Boolean satisfiability solving and its application in equivalence and model checking
18. Combinatorial problems over logical matrices in logic design and artificial intelligence
19. Reconfigurable accelerators for combinatorial problems
20. A configware/software approach to SAT solving
21. Hierarchical specification and implementation of combinatorial algorithms based on RHS model
22. Combinatorial theory of logical design
23. Modelação em C++, síntese e implementação de circuitos digitais com base em FPGA