ЭНЕРГОСБЕРЕГАЮЩЕЕ КОДИРОВАНИЕ СОСТОЯНИЙ КОНЕЧНОГО АВТОМАТА. МЕТОД КВАДРАТОВ
Abstract
Рассматривается задача отображения произвольного неориентированного графа в булево пространство, имеющая важные приложения в энергосберегающей реализации конечных автоматов, при которой минимизируется переключательная активность схемы. В результате ее решения максимальное число ребер графа должно отобразиться на некоторые ребра гиперкуба, представляющего структуру булева пространства. Для решения данной задачи предлагается визуальный метод, использующий матрицу смежности и карту Карно и заключающийся в построении последовательности конфигураций из ребер и квадратов, образующих фрагменты гиперкуба.
References
1. Najm F., Goel S., Hajj I.N. Power estimation in sequential circuits // Proc. of the 32th Design Automation Conference. – USA, 1995. – P. 635–640.
2. Luca Benini, Giovanni De Micheli. State assignment for low power dissipation // IEEE Journal of Solid-State Circuits. – Vol. 30. – № 3. – 1995. – P. 258–268.
3. Закревский А.Д. Алгоритмы преобразований таблицы переходов, устраняющие условия состязаний // Тр. СФТИ. Вып. 47. – 1965. – С. 48–55.
4. 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.
5. 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.
6. Закревский А.Д. Визуально-матричный метод минимизации булевых функций // Автоматика и телемеханика. – 1960. – Т. 21. – № 3. – С. 368–373.
7. Закревский А.Д. Логический синтез каскадных схем. – М.: Наука, 1981.
8. McElvain K. LGSynth’93 Benchmark Set: Version 4.0, 1993 // http://www.cbl.ncsu.edu/benchmarks
Review
For citations:
. Informatics. 2005;(4(8)):105-113. (In Russ.)
Views: 489
Email this article 