DOI: 10.17587/prin.13.51-67

УДК: 519.714

Экспериментальное исследование алгоритмов минимизации BDDI-представлений систем булевых функций с использованием алгебраических разложений кофакторов

П. Н. Бибило, д-р техн. наук, проф., зав. лаб., bibilo@newman.bas-net.by, В. И. Романов, вед. науч. сотр., доц., rom@newman.bas-net.by, Объединенный институт проблем информатики Национальной академии наук Беларуси, Минск

Рассматриваются многоуровневые разложения Шеннона систем полностью определенных булевых функций, графической формой задания которых являются модификации бинарных диаграмм решений (BDD - Binary Decision Diagram), называемые BDDI (Binary Decision Diagram with Inverse cofactors). В отличие от BDD, в BDDI могут быть пары взаимно инверсных подфункций (кофакторов). Описываются программно реализованные алгоритмы дополнительной логической оптимизации BDDI-представлений систем булевых функций на основе поиска алгебраических разложений кофакторов одного уровня BDDI в виде дизъюнкции либо конъюнкции других инверсных либо безынверсных кофакторов данного уровня BDDI. Приведены результаты применения соответствующих программ при синтезе логических схем в библиотеке проектирования заказных сверхбольших интегральных схем.

Ключевые слова: система булевых функций, дизъюнктивная нормальная форма (ДНФ), Binary Decision Diagram (BDD), разложение Шеннона, синтез логической схемы, VHDL, СБИС

Стр. 51–67