Coding Techniques in Verilog for Finite State Machine Designs in FPGA

Valery Salauyou , Łukasz Zabrocki


Coding techniques in Verilog HDL of finite state machines (FSMs) for synthesis in field programmable gate arrays (FPGAs) are researched, and the choice problem the best FSM coding styles in terms of an implementation cost (area) and a performance (speed) are considered. The problem is solved empirically by executing of experimental researches on the FSM benchmarks. Seven coding styles in Verilog are offered for coding of combinational circuits for FSMs from those two best styles are selected. On the basis of these two coding styles of combinational circuits six coding styles of FSMs are offered. The efficiency of the coding styles was researched for the synthesis of FSM benchmarks in two classes of programmable devices: CPLD (Complex Programmable Logic Device) and FPGA. The experimental results showed that the choice of coding styles allows to reduce the implementation cost of FSMs by a factor of 3.06 and to increase the speed of FSMs by a factor of 1.6. In conclusion, the prospective directions for coding styles of FSMs are specified.
Author Valery Salauyou (FCS / DDMCG)
Valery Salauyou,,
- Department of Digital Media and Computer Graphics
, Łukasz Zabrocki
Łukasz Zabrocki,,
Publication size in sheets0.6
Book Saeed Khalid, Rituparna Chaki, Janev Valentina (eds.): Computer Information Systems and Industrial Management : 18th International Conference : CISIM 2019 : proceedings, Lecture Notes In Computer Science, no. 11703, 2019, Springer, ISBN 978-3-030-28956-0, 540 p., DOI:10.1007/978-3-030-28957-7
Keywords in EnglishFinite state machine Field programmable gate array Coding styles Verilog CPLD FPGA Implementation cost Speed CAD
Internal identifierROC 19-20
Languageen angielski
Score (nominal)40
Score sourceconferenceList
ScoreMinisterial score = 40.0, 09-03-2020, ChapterFromConference
Citation count*
Share Share

Get link to the record

* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.
Are you sure?