Бибило, П. Н. Применение диаграмм двоичного выбора при синтезе логических схем [Электронный ресурс] / Бибило П. Н. - Минск : Белорусская наука, 2014. - 232 с. - ISBN 978-985-08-1750-1 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): автоматизированное проектирование -- двоичный выбор -- логическая схема -- применение диаграмм -- синтез схем Аннотация: В монографии рассматривается применение аппарата диаграмм двоичного выбора (Binary Decision Diagrams, BDD) для минимизации многоуровневых представлений булевых функций и систем; предлагаются методы декомпозиции систем булевых функций, заданных в виде BDD; приводятся результаты экспериментальных исследований применения технологически независимой минимизации и декомпозиции BDD при синтезе логических схем в различных технологических базисах. Адресуется научным сотрудникам, разработчикам систем автоматизированного проектирования, аспирантам и студентам соответствующих специальностей. Свободных экз. нет |