METHODOLOGY OF RESEARCH OF FSM OPTIMIZATION METHODS FOR FPGA

A.A. Grytsenko, I. J. Zelenyova, S.Y. Siroshtan, E.R. Tatolov

Abstract


Methodology of research of known FSM optimization methods for modern FPGAs is proposed. Such methodology consists of different FSM generation, optimization, synthesis, verification stages and can be implemented using parallel and distributed systems. That approach can lead to the efficient results because of methodology nature. The general idea is to figure out the necessary tools and algorithms to prove, that optimized model of FSM has the same behavior as initial model. The structure of standard and specialized software tools for methodology implementation is demonstrated and analyzed. The results of methodology approbation using well-known FSM optimization method targeting Altera FPGAs are pointed out.

Keywords


FPGA, finite state machine, synthesis, verification, EDA.

GOST Style Citations






DOI: https://doi.org/10.15588/1607-3274-2012-2-24



Copyright (c) 2014 A.A. Grytsenko, I. J. Zelenyova, S.Y. Siroshtan, E.R. Tatolov

Creative Commons License
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.

Address of the journal editorial office:
Editorial office of the journal «Radio Electronics, Computer Science, Control»,
Zaporizhzhya National Technical University, 
Zhukovskiy street, 64, Zaporizhzhya, 69063, Ukraine. 
Telephone: +38-061-769-82-96 – the Editing and Publishing Department.
E-mail: rvv@zntu.edu.ua

The reference to the journal is obligatory in the cases of complete or partial use of its materials.