Algebraic synthesis of microprogram final-state machine with datapath of transitions
Keywords:
microprogram final-state machine, datapath of transitions, algebraic synthesis, algorithmAbstract
For a microprogram final-state machine with datapath of transition, the problem of algebraic synthesis, which is a part of the process of structural synthesis of a given class of final-state machine, is formulated. A formal definition of the solution of the problem of algebraic synthesis is given. The concept of the methodology of algebraic synthesis is introduced. A general algorithm for algebraic synthesis based on a full search with constraints is proposed.
References
1. Глушков В.М. Синтез цифровых автоматов / В.М. Глушков. – М.: Физматгиз, 1962. – 476 с.
2. Баранов С.И. Синтез микропрограммных автоматов / С.И. Баранов. Л.: Энергия, 1979. 232 с.
3. Баркалов А.А. Синтез микропрограммных устройств управления / А.А. Баркалов, А.В. Палагин. – Киев: Институт кибернетики НАН Украины, 1997. – 135 с.
4. Баркалов А.А. Синтез устройств управления на программируемых логических устройствах / А.А. Баркалов. – Донецк, ДонНТУ, 2002. – 262 с.
5. Бабаков Р.М. Операционное формирование кодов состояний в микропрограммных автоматах / А.А. Баркалов, Р.М. Бабаков // Кибернетика и системный анализ. – 2011. – №2. – С. 21-26.
6. Babakov R. Research of Efficiency of Microprogram Final-State Machine with Datapath of Transitions / R. Babakov, A. Barkalov, L. 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.
7. Бабаков Р.М. Математическая модель микропрограммного автомата с операционным автоматом переходов / Р.М. Бабаков // Сборник научных трудов Донецкого национального технического университета. Серия «Информатика, кибернетика и вычислительная техника». Выпуск 1 (22). – Красноармейск, ДонНТУ, 2016. – С. 54-57.
8. Філософський енциклопедичний словник / [Н.В. Хамітов]. – К.: Інститут філософії Національної академії наук України, Абрис, 2002. – 744 с.
9. Бабаков Р.М. Использование транзитных состояний в микропрограммном автомате с операционным автоматом переходов / Р.М. Бабаков, И.В. Ярош // Сборник научных трудов ДонНТУ. Серия: «Вычислительная техника и автоматизация». Выпуск 1 (29). – Красноармейск: ДонНТУ, 2016. – С. 56-64.
10. Майоров С.А. Структура электронных вычислительных машин / С.А. Майоров, Г.И. Новиков. – Л.: Машиностроение, 1979. – 384с.
11. Зотов Ю.В. Проектирование цифровых устройств на основе ПЛИС фирмы XILINX в САПР WebPack ISE / Ю.В. Зотов. – М.: Горячая линия-Телеком, 2003. – 624 с.
12. Тарасов И.Е. Разработка цифровых устройств на основе ПЛИС Xilinx с применением языка VHDL / И.Е. Тарасов. – М.: Горячая линия – Телеком, 2005. – 252 с.
2. Баранов С.И. Синтез микропрограммных автоматов / С.И. Баранов. Л.: Энергия, 1979. 232 с.
3. Баркалов А.А. Синтез микропрограммных устройств управления / А.А. Баркалов, А.В. Палагин. – Киев: Институт кибернетики НАН Украины, 1997. – 135 с.
4. Баркалов А.А. Синтез устройств управления на программируемых логических устройствах / А.А. Баркалов. – Донецк, ДонНТУ, 2002. – 262 с.
5. Бабаков Р.М. Операционное формирование кодов состояний в микропрограммных автоматах / А.А. Баркалов, Р.М. Бабаков // Кибернетика и системный анализ. – 2011. – №2. – С. 21-26.
6. Babakov R. Research of Efficiency of Microprogram Final-State Machine with Datapath of Transitions / R. Babakov, A. Barkalov, L. 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.
7. Бабаков Р.М. Математическая модель микропрограммного автомата с операционным автоматом переходов / Р.М. Бабаков // Сборник научных трудов Донецкого национального технического университета. Серия «Информатика, кибернетика и вычислительная техника». Выпуск 1 (22). – Красноармейск, ДонНТУ, 2016. – С. 54-57.
8. Філософський енциклопедичний словник / [Н.В. Хамітов]. – К.: Інститут філософії Національної академії наук України, Абрис, 2002. – 744 с.
9. Бабаков Р.М. Использование транзитных состояний в микропрограммном автомате с операционным автоматом переходов / Р.М. Бабаков, И.В. Ярош // Сборник научных трудов ДонНТУ. Серия: «Вычислительная техника и автоматизация». Выпуск 1 (29). – Красноармейск: ДонНТУ, 2016. – С. 56-64.
10. Майоров С.А. Структура электронных вычислительных машин / С.А. Майоров, Г.И. Новиков. – Л.: Машиностроение, 1979. – 384с.
11. Зотов Ю.В. Проектирование цифровых устройств на основе ПЛИС фирмы XILINX в САПР WebPack ISE / Ю.В. Зотов. – М.: Горячая линия-Телеком, 2003. – 624 с.
12. Тарасов И.Е. Разработка цифровых устройств на основе ПЛИС Xilinx с применением языка VHDL / И.Е. Тарасов. – М.: Горячая линия – Телеком, 2005. – 252 с.
Downloads
-
PDF (Українська)
Downloads: 167
Abstract views: 254
Published
2017-10-15
How to Cite
[1]
R. M. Babakov, “Algebraic synthesis of microprogram final-state machine with datapath of transitions”, ІТКІ, vol. 39, no. 2, pp. 35–41, Oct. 2017.
Issue
Section
Computer systems and components
