METHODOLOGY OF RESEARCH OF FSM OPTIMIZATION METHODS FOR FPGA

被引：0

作者：

Grytsenko, A. A. ^{[1
]}

Zelenyova, I. Y. ^{[1
]}

Siroshtan, S. Y. ^{[1
]}

Tatolov, E. R. ^{[1
]}

机构：

[1] Donetsk Natl Tech Univ, Donetsk, Ukraine

来源：

RADIO ELECTRONICS COMPUTER SCIENCE CONTROL | 2012年 / 2卷

关键词：

FPGA; finite state machine; synthesis; verification; EDA;

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：141 / 146

页数：6