Вид документа : Однотомное издание Шифр издания : 29589 Автор(ы) : Бибило П. Н. Заглавие : Применение диаграмм двоичного выбора при синтезе логических схем Выходные данные : Минск: Белорусская наука, 2014 Колич.характеристики :232 с Примечания : Книга находится в Премиум-версии ЭБС IPRbooks. ISBN, Цена 978-985-08-1750-1: Б.ц. УДК : 681.5 ББК : 32.97 Ключевые слова (''Своб.индексиров.''): автоматизированное проектирование--двоичный выбор--логическая схема--применение диаграмм--синтез схем Аннотация: В монографии рассматривается применение аппарата диаграмм двоичного выбора (Binary Decision Diagrams, BDD) для минимизации многоуровневых представлений булевых функций и систем; предлагаются методы декомпозиции систем булевых функций, заданных в виде BDD; приводятся результаты экспериментальных исследований применения технологически независимой минимизации и декомпозиции BDD при синтезе логических схем в различных технологических базисах. Адресуется научным сотрудникам, разработчикам систем автоматизированного проектирования, аспирантам и студентам соответствующих специальностей.