Preview

Информатика

Расширенный поиск

ЭНЕРГОСБЕРЕГАЮЩЕЕ КОДИРОВАНИЕ СОСТОЯНИЙ КОНЕЧНОГО АВТОМАТА. МЕТОД КВАДРАТОВ

Полный текст:

Аннотация

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

Об авторе

А. Д. Закревский
Объединенный институт проблем информатики НАН Беларуси
Беларусь


Список литературы

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


Для цитирования:


Закревский А.Д. ЭНЕРГОСБЕРЕГАЮЩЕЕ КОДИРОВАНИЕ СОСТОЯНИЙ КОНЕЧНОГО АВТОМАТА. МЕТОД КВАДРАТОВ. Информатика. 2005;(4(8)):105-113.

Просмотров: 114


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1816-0301 (Print)
ISSN 2617-6963 (Online)