Книга: Бибило П. Н. «Применение диаграмм двоичного выбора при синтезе логических схем»
|
|
В монографии рассматривается применение аппарата диаграмм двоичного выбора (Binary Decision Diagrams, BDD) для минимизации многоуровневых представлений булевых функций и систем; предлагаются методы декомпозиции систем булевых функций, заданных в виде BDD; приводятся результаты экспериментальных исследований применения технологически независимой минимизации и декомпозиции BDD при синтезе логических схем в различных технологических базисах. Адресуется научным сотрудникам, разработчикам систем автоматизированного проектирования, аспирантам и студентам соответствующих специальностей.
Содержание:Введение...... 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 Издательство: "Белорусская наука" (2014)
ISBN: 9789850817501 |
См. также в других словарях:
Бибило, Пётр Николаевич — Пётр Николаевич Бибило Дата рождения: 7 июля 1953(1953 07 07) (59 лет) Место рождения: Белорусская ССР, СССР Страна … Википедия
Соколова, Алла Анатольевна — В Википедии есть статьи о других людях с такой фамилией, см. Соколова. Алла Анатольевна Соколова Дата рождения: 16 декабря 1953(1953 12 16) (59 лет) Алла Анатольевна Соколова (род. 16 декабря 1933 года) учёный, специалист в… … Википедия
VHDL — Появился в: 1983 Типизация данных: строгая Испытал влияние: Ada, Pascal VHDL (англ. VHSIC (Very high speed integrated circuits) Hardware Description Language) язык описания аппар … Википедия
