ЭНЕРГОСБЕРЕГАЮЩЕЕ КОДИРОВАНИЕ СОСТОЯНИЙ КОНЕЧНОГО АВТОМАТА. МЕТОД КВАДРАТОВ
Abstract
Рассматривается задача отображения произвольного неориентированного графа в булево пространство, имеющая важные приложения в энергосберегающей реализации конечных автоматов, при которой минимизируется переключательная активность схемы. В результате ее решения максимальное число ребер графа должно отобразиться на некоторые ребра гиперкуба, представляющего структуру булева пространства. Для решения данной задачи предлагается визуальный метод, использующий матрицу смежности и карту Карно и заключающийся в построении последовательности конфигураций из ребер и квадратов, образующих фрагменты гиперкуба.
About the Author
А. Закревский
Объединенный институт проблем информатики НАН Беларуси
Belarus
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. Zakrevskii A.D. Algoritmy preobrazovanii tablitsy perekhodov, ustranyayushchie usloviya sostyazanii // Tr. SFTI. Vyp. 47. - 1965. - S. 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. Zakrevskii A.D. Vizual'no-matrichnyi metod minimizatsii bulevykh funktsii // Avtomatika i telemekhanika. - 1960. - T. 21. - № 3. - S. 368-373.
7. Zakrevskii A.D. Logicheskii sintez kaskadnykh skhem. - M.: Nauka, 1981.
8. McElvain K. LGSynth’93 Benchmark Set: Version 4.0, 1993 // http://www.cbl.ncsu.edu/benchmarks
For citations:
. Informatics. 2005;(4(8)):105-113.
(In Russ.)
Views: 516