Методика исследования способов оптимизации управляющих автоматов в базисе ПЛИС FPGA

Abstract

RU: В статье предложена методика, позволяющая исследовать известные способы оптимизации управляющих автоматов для базиса современных ПЛИС FPGA. Показана структура комплекса программных средств, необходимых для реализации методики, а также представлены результаты ее апробации. UK: У статті запропонована методика, що дозволяє досліджувати відомі способи оптимізації керуючих автоматів для базису сучасних ПЛІС FPGA. Показана структура комплексу програмних засобів, необхідних для реалізації методики, а також представлені результати її апробації. EN: 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.