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