В монографии рассматривается применение аппарата диаграмм двоичного выбора (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 - Яндекс.Диск.
Дата публикации:
Теги: Бибило :: книги по математике :: математика :: логика
Смотрите также учебники, книги и учебные материалы:
Следующие учебники и книги:
- Математический анализ для Бакалвров
- Азы теории чисел, Кноп К.А., 2017
- Избранные главы теории дифференциальных уравнений, учебное пособие, Андреев А.Н., 2012
- Модулярная арифметика параллельных логических вычислений, монография, Финько О.А., 2003
Предыдущие статьи:
- Основы математического анализа, Модуль неопределенный интеграл, Зубова И.К., Острая О.В., Анциферова Л.М., Рассоха Е.Н., 2017
- Наглядная топология, Прасолов В.В., 1995
- Обольстить математикой, Числовые игры на все случаи жизни, Дрёссер К., 2017
- Математика в науке и вокруг нас, Фрейденталь Г., 1977