Подробное описание документа

Бибило П. Н.
   Бинарные диаграммы решений в логическом проектировании / Бибило П. Н. - М. : URSS : Ленанд, 2024. - 554 с. : рис., табл. - Библиогр.: с. 548-554. - ISBN 978-5-9710-4334-8.

В книге рассматривается применение аппарата бинарных диаграмм решений (англ. Binary Decision Diagram, BDD) для минимизации многоуровневых представлений систем полностью и не полностью определённых булевых функций. Даётся классификация BDD, предлагаются модификации BDD и методы минимизации сложности различных видов BDD представлений, а также методы декомпозиции систем булевых функций, заданных в виде BDD. Приводятся результаты экспериментальных исследований применения технологически независимой минимизации BDD представлений и декомпозиции BDD при проектировании логических схем в технологических базисах цифровых заказных сверхбольших интегральных схем и программируемых логических интегральных схем.
Книга рассчитана на научных сотрудников, разработчиков систем автоматизированного проектирования, аспирантов и студентов соответствующих специальностей.

004.312 Логические схемы, блоки
1 экз.
Вы можете получить данный документ в одном из следующих отделов
  1. Абонемент научной литературы УЛК, УЛК, ауд. 221л
  2. Читальный зал младших курсов №1, УЛК, ауд. 305л
  3. Читальный зал младших курсов №2, УЛК, ауд. 221л