informИнформатикаInformatics1816-03012617-6963UIIP NASBinform-382Research ArticleЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕLOGICAL DESIGNАЛГОРИТМЫ ЭНЕРГОСБЕРЕГАЮЩЕГО КОДИРОВАНИЯ СОСТОЯНИЙ АВТОМАТАЗакревскийА. Д.Объединенный институт проблем информатики НАН БеларусиBelarus20112304201801(29)6878Copyright © Закревский А.Д., 20182018Закревский А.Д.Закревский А.Д.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://inf.grid.by/jour/article/view/382

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

ReferencesNajm, F. Power estimation in sequential circuits / F. Najm, S. Goel, I.N. Hajj // Proc. of theNajm, F. Power estimation in sequential circuits / F. Najm, S. Goel, I.N. Hajj // Proc. of theth Design Automation Conf. – USA, 1995. – P. 635–640.th Design Automation Conf. – USA, 1995. – P. 635–640.Pedram, M. Power Minimization in IC Design: Principles and Applications / M. Pedram //Pedram, M. Power Minimization in IC Design: Principles and Applications / M. Pedram //ACM Trans. Design Automat. Electron. Syst. – 1996. – Vol. 1. – P. 3–56.ACM Trans. Design Automat. Electron. Syst. – 1996. – Vol. 1. – P. 3–56.Symbolic synthesis of clock-gating logic for power optimization of control-oriented synchronous networks / L. Benini [et al.] // Proc. European Design and Test Conf. – 1997. – P. 514–520.Symbolic synthesis of clock-gating logic for power optimization of control-oriented synchronous networks / L. Benini [et al.] // Proc. European Design and Test Conf. – 1997. – P. 514–520.Закревский, А.Д. Энергосберегающее кодирование состояний конечного автомата. Ме-Закревский, А.Д. Энергосберегающее кодирование состояний конечного автомата. Ме-тод квадратов / А.Д. Закревский // Информатика. – 2005. – № 4 (8). – С. 105–113.тод квадратов / А.Д. Закревский // Информатика. – 2005. – № 4 (8). – С. 105–113.Macii, E. High-level Power Modeling, Estimation and Optimization / E. Macii, M. Pedram,Macii, E. High-level Power Modeling, Estimation and Optimization / E. Macii, M. Pedram,F. Somenzi // IEEE Transaction on Computer-Aided Design of Integrated Circuits and Systems. –F. Somenzi // IEEE Transaction on Computer-Aided Design of Integrated Circuits and Systems. –– Vol. 17, № 11. – P. 1061–1079.– Vol. 17, № 11. – P. 1061–1079.

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