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

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

Автор: Петр Бибило

Форматы: PDF

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

Год: 2014

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

ISBN: 978-985-08-1750-1

Страниц: 232

Артикул: 41818

Электронная книга
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-описаниям
Заключение
Список сокращений
Список литературы

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

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

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

42 1210ac=ϕ=, 1211a=ϕ=; 1310ac=ϕ=, 1311ac=ϕ=; 1410ac=ϕ=, 1411ac=ϕ=. Далее следует провести разложение ко�ффициентов 1c, 1c и функции 1s по переменной 2b. Однако у нас нет представления ко�ффициента 1c в явном виде. Конечно, в данном иллюстративном примере получит� представление инверсии 1c функции 1c, зависящей от двух переменных, не вызывает трудно-сти. Однако в практических ситуациях выполнение операции инверсирования может быт� трудоемким, а полученное представление – громоздким. Будем продолжат� строит� BDD для двух оставшихся функций 1c, 1s. Ко�ффициенты разложения функций 1c, 1s по переменной 2b имеют следующий вид: 2100bc==; 2111bcb==; 2110bsb==; 2111bsb==. Разложение полученных ко�ффициентов 1b, 1b по переменной 1b тривиал�-но, полученная BDD изображена на рис. 1.15.Далее пришло время воспол�зоват�ся одним из замечател�ных свойств BDD, а именно получит� BDD-представление инверсной функции 1c по BDD-пред-ставлению исходной функции 1c. Получение BDD для инверсии 1c показано на рис. 1.16, а BDD для системы функций изображена на рис. 1.17, а.Далее требуется выполнит� операцию сокращения графа, так как BDD (см. рис. 1.17, а) содержит одинаковые подграфы. В рассматриваемом примере на первом шаге процедуры сокращения будут найдены два одинаковых под-графа, реализующих один и тот же ко�ффициент 1b. Затем выяснится, что на более высоких уровнях одинаковых подграфов нет, и BDD примет вид, как на рис. 1.17, б. Резул�тирующей BDD (см. рис. 1.17, б) соответствует новое мно-гоуровневое представление системы функций: 23422caa=ϕ ∨ ϕ; 21222saa=ϕ ∨ ϕ; 12112sb bb b=∨; 1ϕ = 11a c; 2ϕ = 11a c; 3ϕ = 51 11a ca∨ ϕ; 4ϕ = 511 1aa cϕ ∨; 5ϕ = 212bb b∨; 1c = 2 1b b, построенное по исходному также многоуровневому представлению. Для од-нородности записи ко�ффициент разложения 1c переименован: 1c = 5ϕ.Алгоритм построения BDD для формул�ного задания булевых функций можно найти в работе [22, с. 325].Легко видет�, что если строит� BDD по мно...