div style"text-align: justify;"В монографии рассматривается применение аппарата диаграмм двоичного выбора (Binary Decision Diagrams, BDD) для минимизации многоуровневых представлений булевых функций и систем; предлагаются методы декомпозиции систем булевых функций, заданных в виде BDD; приводятся результаты экспериментальных исследований применения технологически независимой минимизации и декомпозиции BDD при синтезе логических схем в различных технологических базисах./divdiv style"text-align: justify;"Адресуется научным сотрудникам, разработчикам систем автоматизированного проектирования, аспирантам и студентам соответствующих специальностей./div

Введение......5 Глава 1. Построение и минимизация диаграмм двоичного выбора......7 1.1. Формы представления булевых функций......7 1.2. Построение диаграмм двоичного выбора для полностью определенных булевых функций......13 1.3. Свойства BDD......28 1.4. Краткая история формальной модели BDD......39 1.5. Построение диаграмм двоичного выбора для систем полностью определенных булевых функций......40 1.6. Построение и минимизация диаграмм двоичного выбора для систем частичных булевых функций......56 1.7. Операции над матричными формами и BDD......82 1.8. Доопределение частичных булевых функций
заданных диаграммами двоичного выбора......102 1.9. Выбор перестановки переменных......115 Глава 2. Декомпозиция полностью определенных булевых функций
заданных диаграммами двоичного выбора......119 2.1. Декомпозиция булевых функций......119 2.2. Краткий обзор методов декомпозиции булевых функций......122 2.3. Раздельная декомпозиция системы полностью определенных булевых функций......124 2.4. Совместная декомпозиция системы полностью определенных булевых функций......131 2.5. Применение логических уравнений для построения промежуточных функций......138 2.6. Выбор разбиения переменных......142 Глава 3. Декомпозиция частичных булевых функций
заданных диаграммами двоичного выбора......146 3.1. Раздельная декомпозиция системы частичных булевых функций......146 3.2. Совместная декомпозиция системы частичных булевых функций......157 3.3. Применение логических уравнений для совместной декомпозиции частичных функций......170 Глава 4. Практические применения и экспериментальные исследования......175 4.1. Представления систем булевых функций в памяти компьютеров и в системах автоматизированного проектирования......175 4.2. Реализация диаграмм двоичного выбора логическими схемами......188 4.3. Экспериментальное исследование алгоритмов минимизации диаграмм двоичного выбора......195 4.4. Применение минимизации диаграмм двоичного выбора при синтезе схем заказных СБИС и FPGA......197 4.5. Минимизация диаграмм двоичного выбора при синтезе схем с пониженным энергопотреблением......203 4.6. Экспериментальное исследование алгоритмов декомпозиции диаграмм двоичного выбора......208 4.7. Экспериментальное исследование алгоритмов декомпозиции программируемых логических матриц......210 4.8. Использование моделей частичных булевых функций при синтезе логических схем по VHDL-описаниям......214 Заключение......226 Список сокращений......227 Список литературы......228