|
Бибило П.Н. Применение диаграмм двоичного выбора при синтезе логических схем. – Минск: Беларуская навука, 2014. – 231 с.
В книге рассматривается применение аппарата диаграмм двоичного выбора, (англ. Binary Decision Diagrams, BDD), для минимизации многоуровневых представлений булевых функций и систем. Предлагаются методы декомпозиции систем булевых функций, заданных в виде BDD. Описываются матричные формы и BDD представления на языке VHDL, являющемся входным языком современных систем автоматизированного проектирования цифровых устройств. VHDL представления были использованы при экспериментальных исследованиях предложенных методов и алгоритмов минимизации и декомпозиции BDD. Эксперименты заключались в оценках эффективности применения процедур BDD оптимизации при синтезе логических схем в базисах библиотек проектирования заказных СБИС и FPGA.
Рассчитана на научных сотрудников, разработчиков систем автоматизированного проектирования, аспирантов и студентов соответствующих специальностей.
|
