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

Бибило П. Н.
   Бинарные диаграммы решений в логическом проектировании / Бибило П. Н. - М. : 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. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
2. Читальный зал ауд.305л, УЛК, ауд. 305л