Abstract
Chapter deals with design of Moore FSMs based on using embedded memory blocks (EMB). The methods of trivial EMB-based implementation of logic circuits of both Moore and Mealy FSMs are discussed. In this case, only one EMB is enough for implementing the circuit. Next, the optimization methods are discussed based on replacement of logical conditions as well as encoding of the collections of microoperations. The considered methods are based on encoding the rows of FSM’s structure table. All these methods lead to two-level models of Mealy FSMs and to three-level models of Moore FSMs. Next, these methods are combined together for further optimizing the hardware amount in FSM logic circuits. The last section considers applying PES-based methods in EMB-based Moore FSMs. All discussed methods are illustrated by examples. The chapter is written together with PhD Malgorzata Kolopienczyk (University of Zielona Gora, Poland).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
ALTERA (2013) Website of the Altera Corporation
Baranov S (1994) Logic synthesis of control automata. Kluwer, Boston
Barkalov A, Titarenko L (2009) Logic synthesis for FSM-based control units. Springer, Berlin
Barkalov A, Titarenko L, Barkalov A (2012) Structural decomposition as a tool for the optimization of an FPGA-based implementation of a mealy FSM. Cybern Syst Anal 48(2):313–323
Cong J, Yan K (2000) Synthesis for FPGAs with embedded memory blocks. In: Proceedings of the 2000 ACM, SIGDA 8th international symposwium on FPGAs, pp 75–82
Garcia-Vargas I, Senhadji-Navarro R, Civit-Balcells A, Guerra-Gutierrezz P (2007) ROM-based finite state machine implementation in low cost FPGAs. In: IEEE international simposium on industrial electronics, Vigo, pp 2342–2347
Grout I (2004) Digital system design with FPGAs and CPLDs. Elsevier, Amsterdam
Kim T, Vella T, Brayton R, Sangiovanni-Vincentalli A (1997) Synthesis of finite state machines: functional optimization. Kluwer, Boston
Maxfield C (2004) The design Warrior’s guide to FPGAs, Academic Press Inc, Orlando
Nowicka M, Łuba T, Rawski M (1999) FPGA-based decomposition of boolean functions: algorithms and implementation. In: Proceedings of the 6th international conference on ACS, pp 502–509
Rawski M, Tomaszewicz P, Borowik G, Luba T (2011) Logic synthesis method of digital circuits designed with Embedded Memory Blocks of FPGAs. In: Adamski M et al. (eds) Design of digital systems and devices, Springer, Berlin, pp 121–144
Rawski M, Selvaraj H, Luba T (2005) An application of functional decomposition in ROM-based FSM implementation in FPGA devices. J Syst Archit 51(6–7):423–434
Scholl C (2001) Functional decomposition with application to FPGA synthesis. Kluwer, Norwell
Sklyarov V (1984) Synthesis of FSMs based on matrix LSI. Science and Technique, Minsk
Sklyarov V (2000) Synthesis and implementation of RAM-based finite state machines in FPGAs. In: Proceedings of conference on field programmable logic, Villach, pp 718–728
Sklyarova I, Sklyarov V, Sudnitson A (2008) Design of FPGA-based circuits using hierarchical finite state machines. TUT Press, Tallinn
Sutteer G, Todorowich E, Lopez-Buedo S, Boemo E (2002) Lower-power FSMs in FPGA: encoding alternatives. Lecture notes in computer science 2451, Springer, Berlin
Tiwari A, Tomko K (2004) Saving power by mapping finite state machines into embedded memory blocks in FPGAs. In: Proceedings of design automation and test in Europe, vol 2. pp 916–921
Wu X, Pedram M, Wang L, Multi-code state assignment for low-power design. In: IEEE proceedings on circuits, devices and systems, vol 147. pp 271–275
XILINX (2013) Website of the Xilinx Corporation
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Sklyarov, V., Skliarova, I., Barkalov, A., Titarenko, L. (2014). Design of FSMs with Embedded Memory Blocks. In: Synthesis and Optimization of FPGA-Based Systems. Lecture Notes in Electrical Engineering, vol 294. Springer, Cham. https://doi.org/10.1007/978-3-319-04708-9_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-04708-9_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-04707-2
Online ISBN: 978-3-319-04708-9
eBook Packages: EngineeringEngineering (R0)