informИнформатикаInformatics1816-03012617-6963UIIP NASBinform-268Research ArticleСТАТЬИ ПО МАТЕРИАЛАМ КОНФЕРЕНЦИЙARTICLES ON THE MATERIALS CONFERENCEИТЕРАТИВНЫЙ МЕТОД ЭНЕРГОСБЕРЕГАЮЩЕГО КОДИРОВАНИЯ СОСТОЯНИЙ ДИСКРЕТНОГО АВТОМАТАПоттосинЮ. В.Объединенный институт проблем информатики НАН БеларусиBelarus20122302201804(36)9399Copyright © Поттосин Ю.В., 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/268

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

ReferencesМурога, С. Системное проектирование сверхбольших интегральных схем. В 2-х кн. /Мурога, С. Системное проектирование сверхбольших интегральных схем. В 2-х кн. /С. Мурога. – М. : Мир, 1985. – Кн. 1. – 288 с.С. Мурога. – М. : Мир, 1985. – Кн. 1. – 288 с.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.Kashirova, L. State assignment of finite state machine for decrease of power dissipation /Kashirova, L. State assignment of finite state machine for decrease of power dissipation /L. Kashirova, A. Keevallik, M. Meshkov // Second International Conference Computer-Aided Design of Discrete Devices, CAD DD’97, Minsk, Republic of Belarus, November 12–14, 1997. – Minsk : Institute of Engineering Cybernetics NASB, 1997. – Vol. 1. – P. 60–67.L. Kashirova, A. Keevallik, M. Meshkov // Second International Conference Computer-Aided Design of Discrete Devices, CAD DD’97, Minsk, Republic of Belarus, November 12–14, 1997. – Minsk : Institute of Engineering Cybernetics NASB, 1997. – Vol. 1. – P. 60–67.Sudnitson, A. Partition search for FSM low power synthesis / А. Sudnitson // Fourth International Conference Computer-Aided Design of Discrete Devices, CAD DD’2001, Minsk, November 14–16, 2001. – Minsk : Institute of Engineering Cybernetics NASB, 2001. – Vol. 1. – P. 44–49.Sudnitson, A. Partition search for FSM low power synthesis / А. Sudnitson // Fourth International Conference Computer-Aided Design of Discrete Devices, CAD DD’2001, Minsk, November 14–16, 2001. – Minsk : Institute of Engineering Cybernetics NASB, 2001. – Vol. 1. – P. 44–49.Закревский, А.Д. Алгоритмы энергосберегающего кодирования состояний автомата / А.Д. Закревский // Информатика. – 2011. – № 1(29). – С. 68–78.Закревский, А.Д. Алгоритмы энергосберегающего кодирования состояний автомата / А.Д. Закревский // Информатика. – 2011. – № 1(29). – С. 68–78.Закревский, А.Д. Логические основы проектирования дискретных устройств / А.Д. ЗаЗакревский, А.Д. Логические основы проектирования дискретных устройств / А.Д. Закревский, Ю.В. Поттосин, Л.Д. Черемисинова. – М. : Физматлит, 2007. – 592 с.кревский, Ю.В. Поттосин, Л.Д. Черемисинова. – М. : Физматлит, 2007. – 592 с.Armstrong, D.B. A programmed algorithm for assigning internal codes for sequential machines / D.B. Armstrong // IRE Trans., EC-11. – 1962. – № 4. – P. 466–472.Armstrong, D.B. A programmed algorithm for assigning internal codes for sequential machines / D.B. Armstrong // IRE Trans., EC-11. – 1962. – № 4. – P. 466–472.Hartmanis, J. Algebraic Structure Theory of Sequential Machines / J. Hartmanis,Hartmanis, J. Algebraic Structure Theory of Sequential Machines / J. Hartmanis,R.E. Stearns. – N.Y. : Prentis-Hall Inc., 1966. – 208 p.R.E. Stearns. – N.Y. : Prentis-Hall Inc., 1966. – 208 p.Поттосин, Ю.В. Кодирование состояний дискретного автомата, ориентированное наПоттосин, Ю.В. Кодирование состояний дискретного автомата, ориентированное науменьшение энергопотребления реализующей схемы / Ю.В. Поттосин // Прикладная дискретная математика. – 2011. – № 4(14). – С. 62–71.уменьшение энергопотребления реализующей схемы / Ю.В. Поттосин // Прикладная дискретная математика. – 2011. – № 4(14). – С. 62–71.Поттосин, Ю.В. Итеративный способ кодирования состояний дискретного автомата / Ю.В. Поттосин // Автоматизация логического проектирования дискретных устройств : сб. науч.тр. – Минск : Ин-т техн. кибернетики АН БССР, 1980. – Вып. 2. – С. 16–26.Поттосин, Ю.В. Итеративный способ кодирования состояний дискретного автомата / Ю.В. Поттосин // Автоматизация логического проектирования дискретных устройств : сб. науч.тр. – Минск : Ин-т техн. кибернетики АН БССР, 1980. – Вып. 2. – С. 16–26.Поттосин, Ю.В. Основы теории проектирования цифровых устройств / Ю.В. Потто-Поттосин, Ю.В. Основы теории проектирования цифровых устройств / Ю.В. Потто-син. – Saarbrücken : LAP LAMBERT Academic Publishing, 2011. – 336 c.син. – Saarbrücken : LAP LAMBERT Academic Publishing, 2011. – 336 c.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 Trans. on Comp.-Aided Design of IC and Systems. – 1998. – Vol. 17, № 11. – P. 1061–1079.F. Somenzi // IEEE Trans. on Comp.-Aided Design of IC and Systems. – 1998. – Vol. 17, № 11. – P. 1061–1079.Закревский, А.Д. Раскраска графов при декомпозиции булевых функций / А.Д. За-Закревский, А.Д. Раскраска графов при декомпозиции булевых функций / А.Д. За-кревский // Логическое проектирование : сб. науч. тр. – Минск : Ин-т техн. кибернетики НАН Беларуси, 2000. – Вып. 5. – С. 83–97.кревский // Логическое проектирование : сб. науч. тр. – Минск : Ин-т техн. кибернетики НАН Беларуси, 2000. – Вып. 5. – С. 83–97.

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