Decomposition-Based Methods for FSM Implementation

Mariusz Rawski , Piotr Wojciech Szotkowski , Paweł Tomaszewicz


Designing a complex digital system requires an effective method for modeling the sequential part of the system. One of the methods is the Finite State Machine based modeling. The implementation efficiency of the sequential part of the designed system has usually a great impact on the processing performance of the whole digital system . Petri nets , which are another method of modeling the sequential part of systems, can also be transformed into FSM -based models. Thus, development of effective synthesis methods for FSM implementation is very important. Digital systems are often implemented in FPGA architectures. Because of their specific structure, the most efficient synthesis methods are based on functional decomposition . This chapter discusses decomposition-based methods for FSM implementation targeting programmable structures.
Author Mariusz Rawski IT
Mariusz Rawski,,
- The Institute of Telecommunications
, Piotr Wojciech Szotkowski IT
Piotr Wojciech Szotkowski,,
- The Institute of Telecommunications
, Paweł Tomaszewicz IT
Paweł Tomaszewicz,,
- The Institute of Telecommunications
Publication size in sheets1.3
Book Karatkevich Andrei, Bukowiec Arkadiusz, Doligalski Michał, Tkacz Jacek (eds.): Design of Reconfigurable Logic Controllers, vol. 45, 2016, Springer, ISBN 978-3-319-26723-4, [978-3-319-26725-8], 181 p., DOI:10.1007/978-3-319-26725-8 2016 Design of Reconfigurable.pdf (file archived - login or check accessibility on faculty)
Keywords in EnglishFSM, Symbolic function decomposition, Logic synthesis
projectThe Develpment of Digital Communicatios. Project leader: Siuzdak Jerzy, , Phone: +48 22 234-7232, start date 27-04-2015, end date 31-12-2016, IT/2015/statut, Completed
WEiTI Działalność statutowa
Languageen angielski
Score (nominal)0
ScoreMinisterial score = 0.0, 27-03-2017, BookChapterNotSeriesMainLanguages
Citation count*0 (2016-03-06)
Share Share

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