Skip to main content

Design of FSMs with Embedded Memory Blocks

  • Chapter
  • First Online:
Synthesis and Optimization of FPGA-Based Systems

Part of the book series: Lecture Notes in Electrical Engineering ((LNEE,volume 294))

  • 3686 Accesses

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).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. ALTERA (2013) Website of the Altera Corporation

    Google Scholar 

  2. Baranov S (1994) Logic synthesis of control automata. Kluwer, Boston

    Google Scholar 

  3. Barkalov A, Titarenko L (2009) Logic synthesis for FSM-based control units. Springer, Berlin

    Google Scholar 

  4. 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

    Article  Google Scholar 

  5. 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

    Google Scholar 

  6. 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

    Google Scholar 

  7. Grout I (2004) Digital system design with FPGAs and CPLDs. Elsevier, Amsterdam

    Google Scholar 

  8. Kim T, Vella T, Brayton R, Sangiovanni-Vincentalli A (1997) Synthesis of finite state machines: functional optimization. Kluwer, Boston

    Google Scholar 

  9. Maxfield C (2004) The design Warrior’s guide to FPGAs, Academic Press Inc, Orlando

    Google Scholar 

  10. 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

    Google Scholar 

  11. 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

    Google Scholar 

  12. 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

    Google Scholar 

  13. Scholl C (2001) Functional decomposition with application to FPGA synthesis. Kluwer, Norwell

    Google Scholar 

  14. Sklyarov V (1984) Synthesis of FSMs based on matrix LSI. Science and Technique, Minsk

    Google Scholar 

  15. 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

    Google Scholar 

  16. Sklyarova I, Sklyarov V, Sudnitson A (2008) Design of FPGA-based circuits using hierarchical finite state machines. TUT Press, Tallinn

    Google Scholar 

  17. 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

    Google Scholar 

  18. 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

    Google Scholar 

  19. 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

    Google Scholar 

  20. XILINX (2013) Website of the Xilinx Corporation

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Valery Sklyarov .

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics