Применение диаграмм двоичного выбора при синтезе логических схем: монография

Автор: Бибило П. Н.

Год: 2014

Издательство: Белорусская наука

Место издания: Минск

ISBN: 978-985-08-1750-1

Страниц: 232

Форматы: PDF

цена: 524 руб.

В монографии рассматривается применение аппарата диаграмм двоичного выбора (Binary Decision Diagrams, BDD) для минимизации многоуровневых представлений булевых функций и систем; предлагаются методы декомпозиции систем булевых функций, заданных в виде BDD; приводятся результаты экспериментальных исследований применения технологически независимой минимизации и декомпозиции BDD при синтезе логических схем в различных технологических базисах.

Адресуется научным сотрудникам, разработчикам систем автоматизированного проектирования, аспирантам и студентам соответствующих специальностей.

Введение
Глава 1. Построение и минимизация диаграмм двоичного выбора
1.1. Формы представления булевых функций
1.2. Построение диаграмм двоичного выбора для полностью определенных булевых функций
1.3. Свойства BDD
1.4. Краткая история формальной модели BDD
1.5. Построение диаграмм двоичного выбора для систем полностью определенных булевых функций
1.6. Построение и минимизация диаграмм двоичного выбора для систем частичных булевых функций
1.7. Операции над матричными формами и BDD
1.8. Доопределение частичных булевых функций, заданных диаграммами двоичного выбора
1.9. Выбор перестановки переменных
Глава 2. Декомпозиция полностью определенных булевых функций, заданных диаграммами двоичного выбора
2.1. Декомпозиция булевых функций
2.2. Краткий обзор методов декомпозиции булевых функций
2.3. Раздельная декомпозиция системы полностью определенных булевых функций
2.4. Совместная декомпозиция системы полностью определенных булевых функций
2.5. Применение логических уравнений для построения промежуточных функций
2.6. Выбор разбиения переменных
Глава 3. Декомпозиция частичных булевых функций, заданных диаграммами двоичного выбора
3.1. Раздельная декомпозиция системы частичных булевых функций
3.2. Совместная декомпозиция системы частичных булевых функций
3.3. Применение логических уравнений для совместной декомпозиции частичных функций
Глава 4. Практические применения и экспериментальные исследования
4.1. Представления систем булевых функций в памяти компьютеров и в системах автоматизированного проектирования
4.2. Реализация диаграмм двоичного выбора логическими схемами
4.3. Экспериментальное исследование алгоритмов минимизации диаграмм двоичного выбора
4.4. Применение минимизации диаграмм двоичного выбора при синтезе схем заказных СБИС и FPGA
4.5. Минимизация диаграмм двоичного выбора при синтезе схем с пониженным энергопотреблением
4.6. Экспериментальное исследование алгоритмов декомпозиции диаграмм двоичного выбора
4.7. Экспериментальное исследование алгоритмов декомпозиции программируемых логических матриц
4.8. Использование моделей частичных булевых функций при синтезе логических схем по VHDL-описаниям
Заключение
Список сокращений
Список литературы

Все отзывы о книге

Чтобы оставить отзыв, зарегистрируйтесь или войдите