И. Ф. Чебурахин, И. А. Матвеев, Ю. П. Тресков, “Методы оптимизации логического синтеза”, Вестник ТвГУ. Серия: Прикладная математика, 2009, выпуск 15,страницы 85

ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ

Методы оптимизации логического синтеза

И. Ф. Чебурахин^a, И. А. Матвеев^b, Ю. П. Тресков^b

^a ГОУ ВПО "МАТИ" - РГТУ им. К.Э. Циолковского, г. Москва
^b Учреждение Российской академии наук Вычислительный центр им. А.А. Дородницына РАН, г. Москва

Аннотация: Предлагаются эффективные методы реализации булевых функций в классах формул и схем из функциональных элементов. При этом до этапа синтеза в разных базисах выводятся оценки для различных показателей сложности-качества предстоящего синтеза (в классе формул: число подформул и глубина формулы; в классе схем: число функциональных элементов и глубина схемы), что позволяет их улучшать, минимизируя трудоемкость синтеза. Методы рекомендуются для интеллектуализации автоматизированного синтеза логических схем.

Ключевые слова: булева функция, формула, схема из функциональных элементов, анализ, синтез, декомпозиция, сложность, показатели качества, минимазация, функциональное и разностное уравнение.

УДК: 519.6:681.31

Поступила в редакцию: 19.09.2009
Исправленный вариант: 30.09.2009