УДК 004.2:004.94
Р.М. БАБАКОВ,
Донецький національний університет імені Василя Стуса, Вінниця, Україна,
newcpld@gmail.com
О.О. БАРКАЛОВ,
Університет Зеленогурський, Зелена Гура, Польща, Донецький національний університет імені Василя Стуса, Вінниця, Україна,
A.Barkalov@iie.uz.zgora.pl
МАТРИЧНИЙ СПОСІБ ВИЗНАЧЕННЯ ФОРМАЛЬНИХ РОЗВ’ЯЗКІВ
ЗАДАЧІ АЛГЕБРАЇЧНОГО СИНТЕЗУ МІКРОПРОГРАМНОГО
АВТОМАТА З ОПЕРАЦІЙНИМ АВТОМАТОМ ПЕРЕХОДІВ
Анотація. Запропоновано новий спосіб визначення формальних розв’язків задачі алгебраїчного синтезу мікропрограмного автомата з операційним автоматом переходів. Цей спосіб полягає у представленні множини переходів автомата у вигляді матриці, яка містить інформацію про поточне кодування станів і якій зіставлено об’єднану матрицю операцій, що містить усі можливі варіанти перетворення кодів станів за допомогою заданої множини операцій переходів. Такий підхід дає змогу одночасно зіставити всі операції переходів кожному автоматному переходу, що зменшує кількість перевірок на наявність формального розв’язку задачі алгебраїчного синтезу. Результатом є скорочення часу виконання будь-яких алгоритмів алгебраїчного синтезу мікропрограмного автомата з операційним автоматом переходів, що базуються на переборі варіантів використання операцій для реалізації автоматних переходів.
Ключові слова: мікропрограмний автомат, операційний автомат переходів, граф-схема алгоритму, алгебраїчний синтез, матриця переходів, об’єднана матриця операцій.
повний текст
СПИСОК ЛІТЕРАТУРИ
- Baranov S. Logic and system design of digital systems. Tallinn: TUT Press, 2008. 276 p.
- Sklyarov V., Sklyarova I., Barkalov A., Titarenko L. Synthesis and оptimization of FPGA-вased systems. Lecture Notes in Electrical Engineering. Berlin: Springer, 2014. Vol. 294. 432 p.
- Bailliul J., Samad T. Encyclopedia of systems and control. London: Springer, 2015. 1554 p.
- DeMicheli G. Synthesis and optimization of digital circuits. NY: McGraw-Hill, 1994. 576 p.
- Barkalov A., Titarenko L., Kolopienczyk M., Mielcarek K., Bazydlo G. Logic synthesis for FPGA-based finite state machines. Springer, 2016. 280 p.
- Barkalov A.A., Babakov R.M. Operational formation of state codes in microprogram automata. Cybernetics and Systems Analysis. 2011. Vol. 47, N 2. P. 193–197. https://doi.org/ 10.1007/s10559-011-9301-y.
- Barkalov A.A., Babakov R.M. Determining the area of efficient application of a microprogrammed finite-state machine with datapath of transitions. Cybernetics and Systems Analysis. 2018. Vol. 54, N 3. P. 366–375. https://doi.org/10.1007/s10559-018-0038-8 .
- Barkalov A.A., Babakov R.M. Algebraic interpretation of a microprogram finite-state machine with datapath of transitions. Cybernetics and Systems Analysis. 2016. Vol. 52, N 2. P. 191–198. https://doi.org/10.1007/s10559-016-9814-5.
- Barkalov A.A., Babakov R.M. Structural classification of methods for synthesis of a microprogram finite-state machine with datapath of transitions. Cybernetics and Systems Analysis. 2019. Vol. 55, N 2. P. 167–173. https://doi.org/10.1007/s10559-019-00121-y .
- Grout I. Digital systems design with FPGAs and CPLDs. Amsterdam, The Netherlands: Elsevier Science, 2011. 784 p.
