Reconfigurable models of finite state machines and their implementation in FPGAs

This paper examines some models of FSMs that can be implemented in dynamically and statically reconfigurable FPGAs. They enable circuits for the FSMs to be constructed in such a way that allows their behavior to be modified before and during run-time. This is achieved either by swapping preallocated areas on a chip in partially dynamically reconfigurable FPGAs, or by reloading memory-based cells in statically configured FPGAs. The initial behavioral description is presented in a form of hierarchical graph-schemes that can be formally translated to traditional FSM specifications such as state diagrams and state transition tables. The description supports modularity and a hierarchical structure, both of which are important for modifiable circuits. The results of experiments with software models that permit to simulate and to verify reconfigurable systems and with hardware implementation of FSM have shown that the respective reusable circuits require very limited FPGA resources and they c...

• Type: Journal
• Year: 2002
• Where: JSA
• Authors: Valery Sklyarov
• Keywords: Initial Behavioral Description, JSA 2002, Reconfigurable Fpgas, Traditional Fsm Specifications