Введение ........................................................ 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
|
