2021, issue 1, p. 86-98
Received 11.02.2021; Revised 10.03.2021; Accepted 25.03.2021
Published 30.03.2021; First Online 03.04.2021
Twofold Addressing of Microinstructions in CMCU with Common Memory
1 University of Zielona Gora, Poland
2 Kharkiv National University of Radio Electronics, Ukraine
3 V.M. Glushkov Institute of Cybernetics of the NAS of Ukraine, Kyiv
Introduction. Control unit (CU) is one of the most important blocks of practically any digital system. Its characteristics largely determine the characteristics of a system as a whole. As a rule, to synthesize CUs, the models of Mealy and Moore finite state machines (FSMs) are used.
The article is devoted to compositional microprogram control units (CMCUs). A CMCU is a Moore FSM in which a state register is replaced by a microinstruction address counter. The choice of CMCU is an optimal solution for implementing linear control algorithms. When developing FSM circuits, it is necessary to optimize such characteristics as the performance and hardware amount. The methods of optimization depend strongly on logic elements used. Nowadays, FPGA chips are one of the most common logic elements for implementing digital systems. To implement the CMCU circuit, it is enough to use look-up table (LUT) elements, programmable flip-flops, embedded memory blocks, and programmable interconnections.
The purpose of the article. In the article, there is proposed a CMCU design method improving such characteristics of CU as the number of logic levels and regularity of programmable interconnections.
The main drawback of LUT is a small number of inputs. Modern digital systems can generate signals of logical conditions entering the control unit, the number of which is tens of times greater than the number of LUT inputs. Such a discrepancy between the characteristics of the control algorithm and the number of inputs of the LUT elements leads to multi-level control circuits with an irregular structure of programmable interconnections, and is the reason for a decrease in performance and an increase in chip area and power consumption.
Results. A method for double addressing of microinstructions in CMCU with shared memory is proposed. The method is an adaptation of the two-fold state assignment of Mealy FSMs, the circuits of which are implemented with FPGAs. The proposed method makes it possible to obtain a microinstruction addressing circuit with two logic levels and a regular interconnection system. The paper considers an example of the synthesis of the CMCU circuit and analyzes the proposed method.
Conclusions. The proposed method allows reducing hardware amount (the number of LUTs and their interconnections), time of delay and power consumption. Moreover, the more complex the control algorithm, the greater the benefit the proposed method gives.
Keywords: compositional microprogram control unit, microinstruction, LUT, EMB, synthesis.
Cite as: Barkalov A.A., Titarenko L.A., Golovin O.M., Matvienko A.V. Twofold Addressing of Microinstructions in CMCU with Common Memory. Cybernetics and Computer Technologies. 2021. 1. P. 86–98. (in Ukrainian) https://doi.org/10.34229/2707-451X.21.1.9
1. Solov'yev V.V. Designing digital circuits based on programmable logic integrated circuits M.: Goryachaya liniya TELEKOM, 2001. 636 p. (in Russian).
2. DeMicheli G. Synthesis and optimization of digital circuits. New York: McGraw-Hill, 1994. 576 p.
3. Baranov S. Logic synthesis for control automata. Dordrecht: Kluwer Academic Publishers, 1994. 312 p. https://doi.org/10.1007/978-1-4615-2692-6
4. Barkalov A.A., Titarenko L.A. Sintez kompozitsionnykh mikroprogrammnykh ustroystv upravleniya. Khar'kov: Kollegium, 2007. 304 p.
5. Maxfield C. The design warrior’s guide to FPGAs. Orlando: Academic Press, 2004. 542 p.
6. White paper FPGA architecture. www.altera.com (accessed 10.03.2021)
7. Sklyarov V., Skliarova I., Barkalov A., Titarenko L. Synthesis and optimization of FPGA-based systems. Berlin: Springer, 2014. 432 p. https://doi.org/10.1007/978-3-319-04708-9
8. Grout I. Digital systems design with FPGAs and CPLDs. Amsterdam: Elsevier, 2008. 784 p.
9. Garcia-Vargas I., Senhadji-Navarro R., JimБnez-Moreno G., Civit-Balcells A., Guerra-Gutierrezz P. ROM-based finite state machines implementation in low cost FPGAs. 2007 IEEE International Symposium on Industrial Electronics. (ISIE’07) (Vigo, 2007). 2007. P. 2342–2347. https://doi.org/10.1109/ISIE.2007.4374972
10. Skliarova I., Sklyarov V., Sudnitson A. Design of FPGA-based circuits using hierarchical finite state machines. Tallinn: TUT Press, 2012. 240 p.
11. Barkalov A., Titarenko L., Mielcatek K. Hardware reduction for LUT-based Mealy FSMs. International Journal of Applied Mathematics and Computer Science. 2018. 28 (3). P. 595–607. https://doi.org/10.2478/amcs-2018-0046
12. Barkalov A., Titarenko L. Logic synthesis for FSM-based control units. Berlin: Springer, 2009. 233 p. https://doi.org/10.1007/978-3-642-04309-3
13. Grushvitskiy R.I., Mursayev A.KH., Ugryumov Ye.P. Design of systems based on programmable logic chips. SPb: BKHV-Peterburg, 2002. 608 p. (in Russian)
14. Tiwari A., Tomko K. Saving power by mapping finite state machines into embedded memory blocks in FPGAs. Proc. Design, Automation and Test in Europe Conference and Exhibition. (Paris, France, 6–20 Feb. 2004). 2004. 2. P. 916–921. https://doi.org/10.1109/DATE.2004.1269007
15. Garcia-Vargas L., Senhaji-Navarro R. Finite state machines with input multiplexing: A performance study. IEEE Transactions on CAD of Integrated Circuits and Systems. 2015. 34 (5). P. 867–871. https://doi.org/10.1109/TCAD.2015.2406859
16. Rawski M., Selvaraj H., Luba T. An application of functional decomposition in ROM-based FSM implementation in FPGA devices. Journal of System Architecture. 2005. 51 (6–7). P. 424–434. https://doi.org/10.1016/j.sysarc.2004.07.004
17. Vivado Design Suite. https://www.xilinx.com/products/design-tools/vivado.html (accessed 10.03.2021)
18. Yang S. Logic synthesis and optimization benchmarks user guide. Version 3.0. Techn. Rep. Microelectronics Center of North Carolina, 1991. 43 p.
19. Virtex-7 FPGAs. https://www.xilinx.com/products/silicon-devices/fpga/virtex-7.html (accessed 10.03.2021)
20. Barkalov A.A., Titarenko L.A., Efimenko K.N. Optimization of circuits for compositional microprogram control units implemented on FPGA. Cybernetics and Systems Analysis. 2011. 47 (1). P. 166–174. https://doi.org/10.1007/s10559-011-9299-1
21. Barkalov A.A., Titarenko L.A. Code transformation in compositional microprogram control units Cybernetics and Systems Analysis. 2011 47 (5). P. 763–772. https://doi.org/10.1007/s10559-011-9355-x
22. Barkalov A.A., Titarenko L.A., Vizor Y.E., Matvienko A.V. An Optimal State Assignment for the Combined Automation. Control Systems and Computers. 2016. 6. P. 34–39. (in Russian) https://doi.org/10.15407/usim.2016.06
23. Barkalov A.A., Titarenko L.A., Vizor Ya.Ye., Matvienko A.V. Synthesis of combined automaton with ASIC. Cybernetics and Computer Technologies. 2020. 2. P. 78–85. (in Russian) https://doi.org/10.34229/2707-451X.20.2.8
24. Barkalov A.A., Titarenko L.A., Vizor Y.E., Matvienko A.V. Reducing the Hardware Amount for the Combined Automata. Control Systems and Computers. 2017. 4. P. 43–50. (in Russian)
ISSN 2707-451X (Online)
ISSN 2707-4501 (Print)