informИнформатикаInformatics1816-03012617-6963UIIP NASBinform-24Research ArticleЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕLOGICAL DESIGNЭНЕРГОСБЕРЕГАЮЩЕЕ ПРОТИВОГОНОЧНОЕ КОДИРОВАНИЕ СОСТОЯНИЙ АСИНХРОННОГО АВТОМАТАLOW POWER RACE-FREE STATE ASSIGNMENT OF AN ASYNGHRONOUS AUTOMATONПоттосинЮ. В.PottosinYu. V.pott@newman.bas-net.byОбъединенный институт проблем информатики НАН БеларусиBelarus2015270920160294101Copyright © Поттосин Ю.В., 20162016Поттосин Ю.В.Pottosin Y.V.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://inf.grid.by/jour/article/view/24

Рассматривается задача противогоночного кодирования состояний асинхронного автомата, которая сводится к задаче нахождения минимального взвешенного покрытия. Предлагается метод кодирования состояний, который наряду с устранением опасных состязаний элементов памяти в реализующей схеме обеспечивает минимизацию их числа и минимизацию интенсивности их переключений.

The problem of a race free state assignment of an asynchronous automaton is considered. A method for the state assignment is suggested that provides the minimization of the number and theswitching activity of the memory elements along with the elimination of the critical races betweenthem.

ReferencesМурога, С. Системное проектирование сверхбольших интегральных схем. В 2-х кн. Кн. 1 / С. Мурога. – М. : Мир, 1985. – 288 с.Мурога, С. Системное проектирование сверхбольших интегральных схем. В 2-х кн. Кн. 1 / С. Мурога. – М. : Мир, 1985. – 288 с.Pedram, M. Power minimization in IC design: Principles and applications / M. Pedram // ACM Trans. Design Automat. Electron. Syst. – 1996. – Vol. 1. – P. 3–56.Pedram, M. Power minimization in IC design: Principles and applications / M. Pedram // ACM Trans. Design Automat. Electron. Syst. – 1996. – Vol. 1. – P. 3–56.Kashirova, L. State assignment of finite state machine for decrease of power dissipation / L. Kashirova, A. Keevallik, M. Meshkov // Second Intern. Conf. Computer-Aided Design of Discrete Devices. – Minsk : Institute of Engineering Cybernetics NAS of Belarus, 1997. – Vol. 1. – P. 60– 67.Kashirova, L. State assignment of finite state machine for decrease of power dissipation / L. Kashirova, A. Keevallik, M. Meshkov // Second Intern. Conf. Computer-Aided Design of Discrete Devices. – Minsk : Institute of Engineering Cybernetics NAS of Belarus, 1997. – Vol. 1. – P. 60– 67.Sudnitson, A. Partition search for FSM low power synthesis / А. Sudnitson // Fourth Intern. Conf. Computer-Aided Design of Discrete Devices. – Minsk : Institute of Engineering Cybernetics NAS of Belarus, 2001. – Vol. 1. – P. 44–49.Sudnitson, A. Partition search for FSM low power synthesis / А. Sudnitson // Fourth Intern. Conf. Computer-Aided Design of Discrete Devices. – Minsk : Institute of Engineering Cybernetics NAS of Belarus, 2001. – Vol. 1. – P. 44–49.Закревский, А.Д. Алгоритмы энергосберегающего кодирования состояний автомата / А.Д. Закревский // Информатика. – 2011. – № 1(29). – С. 68–78.Закревский, А.Д. Алгоритмы энергосберегающего кодирования состояний автомата / А.Д. Закревский // Информатика. – 2011. – № 1(29). – С. 68–78.Закревский, А.Д. Алгоритмы синтеза дискретных автоматов / А.Д. Закревский. – М. : Наука, 1971. – 512 с.Закревский, А.Д. Алгоритмы синтеза дискретных автоматов / А.Д. Закревский. – М. : Наука, 1971. – 512 с.Ангер, С. Асинхронные последовательностные схемы / С. Ангер. – М. : Наука, 1977. – 400 с.Ангер, С. Асинхронные последовательностные схемы / С. Ангер. – М. : Наука, 1977. – 400 с.Синтез асинхронных автоматов на ЭВМ / под ред. А.Д. Закревского. – Минск : Наука и техника, 1975. – 184 с.Синтез асинхронных автоматов на ЭВМ / под ред. А.Д. Закревского. – Минск : Наука и техника, 1975. – 184 с.Автоматизированное проектирование цифровых устройств / под ред. С.С. Бадулина. – М. : Радио и связь, 1981. – 240 с.Автоматизированное проектирование цифровых устройств / под ред. С.С. Бадулина. – М. : Радио и связь, 1981. – 240 с.Закревский, А.Д. Логические основы проектирования дискретных устройств / А.Д. Закревский, Ю.В. Поттосин, Л.Д. Черемисинова. – М. : Физматлит, 2007. – 592 с.Закревский, А.Д. Логические основы проектирования дискретных устройств / А.Д. Закревский, Ю.В. Поттосин, Л.Д. Черемисинова. – М. : Физматлит, 2007. – 592 с.Закревский, А.Д. Оптимизация покрытий множеств / А.Д. Закревский // Логический язык для представления алгоритмов синтеза релейных устройств. – М. : Наука, 1966. – С. 136–148.Закревский, А.Д. Оптимизация покрытий множеств / А.Д. Закревский // Логический язык для представления алгоритмов синтеза релейных устройств. – М. : Наука, 1966. – С. 136–148.

The authors declare that there are no conflicts of interest present.