Statechart Diagrams Implementation in FPGA Structures with Embedded Memory Blocks

Abstract Statechart diagrams, also called state machines, are graphic formalism for behavior description of complex systems. One of many applications of statecharts is description of reactive systems, especially digital controllers. There are many strategies of statecharts-based controller implementations, but there is no universal one. In the paper authors have presented new synthesis algorithms. Statecharts diagrams, through FSM form, are transformed into memory blocks using address register and ROM memory with reduced memory size obtained by the introduction of address modification. Good feature of the new algorithm is usage of dedicated Embedded Memory Blocks, whereas traditional logic cells can be used for other purposes.

[1]  Tadeusz Łuba,et al.  Synthesis of finite state machines for implementation with programmable structures , 2009 .

[2]  Mariusz Rawski,et al.  An application of functional decomposition in ROM-based FSM implementation in FPGA devices , 2005, J. Syst. Archit..

[3]  Doron Drusinsky-Yoresh A state assignment procedure for single-block implementation of state charts , 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[4]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[5]  Tadeusz Luba,et al.  Cost-Efficient Synthesis for Sequential Circuits Implemented Using Embedded Memory Blocks of FPGA's , 2007, 2007 IEEE Design and Diagnostics of Electronic Circuits and Systems.

[6]  Mariusz Rawski,et al.  FSM implementation in embedded memory blocks of programmable logic devices using functional decomposition , 2002, Proceedings. International Conference on Information Technology: Coding and Computing.

[7]  Grzegorz Labiak From UML statecharts to FPGA - the HiCoS approach , 2003, FDL.

[8]  Grzegorz Labiak FROM STATECHARTS TO FSM-DESCRIPTION - TRANSFORMATION BY MEANS OF SYMBOLIC METHODS , 2006 .

[9]  Tadeusz Luba,et al.  Decomposition of Boolean Functions Specified by Cubes , 2003, J. Multiple Valued Log. Soft Comput..

[10]  Michael von der Beeck,et al.  A Comparison of Statecharts Variants , 1994, FTRTFT.

[11]  Doron Drusinsky,et al.  Using statecharts for hardware description and synthesis , 1989, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[12]  Klaus Buchenrieder,et al.  Mapping statechart models onto an FPGA-based ASIP architecture , 1996, Proceedings EURO-DAC '96. European Design Automation Conference with EURO-VHDL '96 and Exhibition.

[13]  Grzegorz Borowik,et al.  Improved state encoding for FSM implementation in FPGA structures with embedded memory blocks , 2008 .

[14]  S. Ramesh Efficient translation of statecharts to hardware circuits , 1999, Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013).