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

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

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




Ортогонализованные матричные формы.
Если троичные векторы в левой части таблицы, задающей матричную форму системы функций, являются попарно ортогональными, то матричная форма называется ортогонализованной. Очевидно, что матричные формы Ф2, Ф4 являются ортогонализованными, так как двоичные векторы (наборы) в левых частях таблиц форм Ф2, Ф4 всегда попарно ортогональны. Пример ортогонализованной системы ДНФ представлен в табл. 1.2, где каждая пара из множества {(0– –1), (1–0–), (1–10)} троичных векторов, содержащихся в левой части, является ортогональной. Ортогонализация обычно приводит к возрастанию числа интервалов, на которых заданы функции, по сравнению с минимизированными интервальными формами [7, 26], например с кратчайшими системами ДНФ, т. е. содержащими минимальное число конъюнкций.

ОГЛАВЛЕНИЕ.
Введение.
Глава 1.Построение и минимизация диаграмм двоичного выбора.
Глава 2.Декомпозиция полностью определенных булевых функций, заданных диаграммами двоичного выбора.
Глава 3.Декомпозиция частичных булевых функций, заданных диаграммами двоичного выбора.
Глава 4.Практические применения и экспериментальные исследования.
Заключение.
Список сокращений.
Список литературы.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Применение диаграмм двоичного выбора при синтезе логических схем, Бибило П.Н., 2014 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать pdf
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу


Скачать - pdf - Яндекс.Диск.






Теги: Бибило :: книги по математике :: математика :: логика