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 (FEIT / IT)
Mariusz Rawski,,
- The Institute of Telecommunications
, Piotr Wojciech Szotkowski (FEIT / IT)
Piotr Wojciech Szotkowski,,
- The Institute of Telecommunications
, Paweł Tomaszewicz (FEIT / 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, Zielona Góra, Poland, 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 / No licence information (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-7868, start date 27-04-2015, end date 31-12-2016, IT/2015/statut, Completed
WEiTI Działalność statutowa
Languageen angielski
Score (nominal)5
ScoreMinisterial score = 5.0, 17-10-2020, MonographChapterAuthor
Publication indicators WoS Citations = 0; Scopus Citations = 0
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?