Применение диаграмм двоичного выбора при синтезе логических схем
Авторы: Бибило П.Н.
Издательство: Белорусская наука
ISBN 978-985-08-1750-1; 2014 г.
Кол-во страниц: 231
Предварительный просмотр:
О книге:
В монографии рассматривается применение аппарата диаграмм двоичного выбора (Binary Decision Diagrams, BDD) для минимизации многоуровневых представлений булевых функций и систем, предлагаются методы декомпозиции систем булевых функций, заданных в виде BDD , приводятся резултаты экспериментальных исследований примене ния технологически независимой минимизации и декомпозиции BDD при синтезе логи ческих схем в различных технологических базисах. Адресуется научным сотрудникам, разработчикам систем автоматизированного проектирования, аспирантам и студентам соответствующих специальностей.