DOI: https://doi.org/10.15588/1607-3274-2018-1-12
GENERALIZING OF THE MATHEMATICAL MODEL OF MICROPROGRAM FINITE STATE MACHINE ON COUNTER
Abstract
which can help reduce hardware expenses in the logical circuit of the microprogram finite state machine in comparison with the known
structures.
Objective. The goal of the work is to generalize the structural features of the microprogram finite state machine on the counter using a
mathematical model based on the intermediate algebra of transitions.
Method. The known mathematical model of a microprogram finite state machine on a counter, based on the representation of the
transition function in the form of two partial functions, is analyzed. The use of an incremental counter in the structure of the finite state machine is expressed in this model by an intermediate algebra of transitions whose signature is formed by a single incremental function. In this case, the argument of the function is the code of the current state of the finite state machine, interpreted as an unsigned integer. For the considered mathematical model, a number of generalizations are made regarding the number of intermediate algebras of transitions, their signatures and carriers. Changes in the mathematical model and the structure of the finite-state machine on the counter, which are a
consequence of the generalizations made, are analyzed.
Results. On the basis of the generalizations made, a generalized structural scheme and a mathematical model of a microprogram finitestate machine with a noncanonical way of realizing the transition function are obtained. Experimental research of the effectiveness of the
developed generalized structure of MPA on the criterion of hardware costs has been carried out.
Conclusions. The results obtained in this paper can be used in the development of new structures and formal methods for the synthesis
of microprogram finite state machines with noncanonical realization of the transition function, oriented to optimizing the hardware expenses
in the logical circuit of the automaton.
Keywords
Full Text:
PDF (Українська)References
Glushkov V. M. Sintez tsifrovih avtomatov. Moscow, Fizmatgiz,
, 476 p.
Baranov S.I. Sintez mikroprogramnih avtomatov. Leningrad,
Energiya, 1979, 232 p.
Barkalov A. A., Palagin A. V. Sintez mikroprogrammnih ustroistv
upravleniya. Kiev, Institut kibernetiki NAN Ukraini, 1997, 135 p.
Barkalov A.A. Sintez ustroistv upravleniya na programmiruemih
logicheskih ustroystvah. Donetsk, DonNTU, 2002, 262 p.
Babakov R. M. Promezhutochnaya algebra perehodov v
mikroprogrammnom avtomate, Radio Electronics, Computer
Science, Control, 2016, No. 1, pp. 64–73.
Maltsev A.I. Algebraicheskie sistemi. Moscow, Nauka, 1970,
p.
Plotkin B. I., Gringlaz L. Ya., Gvaramiya A. A. Elementi
algebraicheskoy teorii avtomatov: Ucheb. posobie dlya vuzov.
Moscow, Vish. Shk., 1994, 191 p.
Pospelov D. A. Arifmeticheskie osnovi vichislitelnih mashin
diskretnogo deistviya. Uchebnoe posobie dlya vtuzov. Moscow,
Vish. shkola, 1970, 308 p.
Majorov S. A., Novikov G. I. Struktura elektronnih vichislitelnih
mashin. Leningrad, Mashinostroenie, 1979, 384 p.
Babakov R., Barkalov Al., Titarenko L. Research of Efficiency
of Microprogram Final-State Machine with Datapath of
Transitions, Proceedings of 14th International Conference “The
Experience of Designing and Application of CAD Systems in
Microelectronics (CADSM), February 21–25, 2017. Polyana,
Ukraine, pp. 203–206.
GOST Style Citations
2. Баранов С. И. Синтез микропрограммных автоматов /
С. И. Баранов. – Л. : Энергия, 1979. – 232 с.
3. Баркалов А. А. Синтез устройств управления на программи
руемых логических устройствах / А. А. Баркалов. – Донецк,
ДонНТУ, 2002. – 262 с.
4. DeMicheli G. Synthesis and Optimization of Digital Circuits / G. DeMicheli. – NY. : McGraw-Hill, 1994. – 576 p.
5. Бабаков Р. М. Промежуточная алгебра переходов в микро
программном автомате // Радиоэлектроника, информатика,
управление. – 2016. – № 1. – С. 64–73.
6. Мальцев А. И. Алгебраические системы / А. И. Мальцев. – М. : Наука, 1970. – 392 с.
7. Плоткин Б. И. Элементы алгебраической теории автоматов : учеб. пособие для вузов / Б. И. Плоткин, Л. Я. Гринглаз,
А. А. Гварамия. – М. : Высш. шк., 1994. – 191 с.
8. Поспелов Д. А. Арифметические основы вычислительных машин дискретного действия. Учебное пособие для втузов /
Д. А. Поспелов. – М. : Высш. школа, 1970. – 308 с.
9. Майоров С. А. Структура электронных вычислительных машин / С. А. Майоров, Г. И. Новиков. – Л. : Машиностроение, 1979. – 384 с.
10. Babakov R. Research of Efficiency of Microprogram Final-State Machine with Datapath of Transitions / Roman Babakov,
Alexander Barkalov, Larysa Titarenko // Proceedings of 14th
International Conference “The Experience of Designing and
Application of CAD Systems in Microelectronics (CADSM)”. –
February 21–25, 2017. – Polyana, Ukraine. – P. 203–206.
Copyright (c) 2018 R. M. Babakov

This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
Address of the journal editorial office:
Editorial office of the journal «Radio Electronics, Computer Science, Control»,
National University "Zaporizhzhia Polytechnic",
Zhukovskogo street, 64, Zaporizhzhia, 69063, Ukraine.
Telephone: +38-061-769-82-96 – the Editing and Publishing Department.
E-mail: rvv@zntu.edu.ua
The reference to the journal is obligatory in the cases of complete or partial use of its materials.