Логическая минимизация многоуровневых представлений систем булевых функций

摘要

Приводятся результаты экспериментальных исследований эффективности программ минимизации многоуровневых представлений систем булевых функций, выполняемой при синтезе комбинационных схем из библиотечных КМОП-элементов. Маршрут минимизации может состоять как из отдельной программы, так и нескольких последовательно выполняемых программ, которые используют разложения Шеннона и минимизируют получаемые BDD-представления систем булевых функций и модификации BDD-представлений.