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

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

ReferencesNajm F., Goel S., Hajj I.N. Power estimation in sequential circuits // Proc. of the 32th Design Automation Conference. – USA, 1995. – P. 635–640.Najm F., Goel S., Hajj I.N. Power estimation in sequential circuits // Proc. of the 32th Design Automation Conference. – USA, 1995. – P. 635–640.Luca Benini, Giovanni De Micheli. State assignment for low power dissipation // IEEE Journal of Solid-State Circuits. – Vol. 30. – № 3. – 1995. – P. 258–268.Luca Benini, Giovanni De Micheli. State assignment for low power dissipation // IEEE Journal of Solid-State Circuits. – Vol. 30. – № 3. – 1995. – P. 258–268.Закревский А.Д. Алгоритмы преобразований таблицы переходов, устраняющие условия состязаний // Тр. СФТИ. Вып. 47. – 1965. – С. 48–55.Закревский А.Д. Алгоритмы преобразований таблицы переходов, устраняющие условия состязаний // Тр. СФТИ. Вып. 47. – 1965. – С. 48–55.Noth W., Kolla R. Spanning tree based state encoding for low power dissipation // Proc. of DATE 99: Design, Automation and Test in Europe Conference, 1999.– P. 168–174.Noth W., Kolla R. Spanning tree based state encoding for low power dissipation // Proc. of DATE 99: Design, Automation and Test in Europe Conference, 1999.– P. 168–174.Low-power state assignment techniques for finite state machines / P. Bacchetta, L. Daldoss, D. Scuito, C. Silvano // ISCAS 2000 – IEEE International symposium on circuits and systems. – Geneva, Switzerland, 2000.  P. 641–644.Low-power state assignment techniques for finite state machines / P. Bacchetta, L. Daldoss, D. Scuito, C. Silvano // ISCAS 2000 – IEEE International symposium on circuits and systems. – Geneva, Switzerland, 2000.  P. 641–644.Закревский А.Д. Визуально-матричный метод минимизации булевых функций // Автоматика и телемеханика. – 1960. – Т. 21. – № 3. – С. 368–373.Закревский А.Д. Визуально-матричный метод минимизации булевых функций // Автоматика и телемеханика. – 1960. – Т. 21. – № 3. – С. 368–373.Закревский А.Д. Логический синтез каскадных схем. – М.: Наука, 1981.Закревский А.Д. Логический синтез каскадных схем. – М.: Наука, 1981.McElvain K. LGSynth’93 Benchmark Set: Version 4.0, 1993 // http://www.cbl.ncsu.edu/benchmarksMcElvain K. LGSynth’93 Benchmark Set: Version 4.0, 1993 // http://www.cbl.ncsu.edu/benchmarks

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