Полное описание

Д11-23/15945
004.31/Б 591
Бибило, Петр Николаевич. Бинарные диаграммы решений в логическом проектировании / П. Н. Бибило. - Москва : URSS : ЛЕНАНД, 2023. - 554 с. : ил. - Библиогр.: с. 548-554 (118 назв.). - Тираж не указ. - ISBN 978-5-9710-4334-8 : 1000 р. - Текст (визуальный) : непосредственный.

ГРНТИ	УДК
50.09.29	004.312'12

Рубрики:
Логические схемы -- Проектирование -- Автоматизация
Интегральные схемы цифровые -- Проектирование -- Автоматизация

Кл.слова (ненормированные): булевы функции -- построение -- минимизация -- декомпозиция -- кофакторы -- программируемые логические интегральные схемы -- синтез -- сверхбольшие интегральные схемы -- системы автоматизированного проектирования
Аннотация: В книге рассматривается применение аппарата бинарных диаграмм решений (англ. Binary Decision Diagram, BDD) для минимизации многоуровневых представлений систем полностью и не полностью определенных булевых функций. Дается классификация BDD, предлагаются модификации BDD и методы минимизации сложности различных видов BDD представлений, а также методы декомпозиции систем булевых функций, заданных в виде BDD. Приводятся результаты экспериментальных исследований применения технологически независимой минимизации BDD представлений и декомпозиции BDD при проектировании логических схем в технологических базисах цифровых заказных сверхбольших интегральных схем и программируемых логических интегральных схем. Книга рассчитана на научных сотрудников, разработчиков систем автоматизированного проектирования, аспирантов и студентов соответствующих специальностей.
Имеются экземпляры в отделах: всего 2 : ХРЦ (1), ФО18 (1)
Свободны: ХРЦ (1), ФО18 (1)
Заказаны экз-ры для отделов: ФО20, ФО24

Обложка

Заказать
Заказ фрагмента документа ₽