Библиографическое описание:Бибило, П. Н. Минимизация BDD-представлений систем полностью определенных булевых функций с использованием алгебраических разложений кофакторов = Minimization of binary decision diagrams for systems of completely defined boolean functions using algebraic representations of cofactors / П. Н. Бибило, В. И. Романов. - (Системы автоматизированного проектирования). - Текст : непосредственный // Информационные технологии. - 2021. - Т. 27, № 8. - С. 395-408. - ISSN 1684-6400.
Аннотация:Основным критерием оптимизации при синтезе комбинационных схем из библиотечных логических элементов является число литералов в алгебраических представлениях булевых функций. Предлагается метод логической оптимизации на основе поиска алгебраических представлений подфункций (кофакторов) одного уровня BDD в виде дизъюнкции либо конъюнкции других подфункций данного уровня BDD.
