Приведены результаты экспериментальных исследований эффективности программ минимизации многоуровневых алгебраических представлений систем булевых функций, выполняемых при синтезе комбинационных схем. Исследуется три подхода: 1) совместная минимизация систем булевых функций; 2)
раздельная минимизация; 3) выделение из исходной системы «связанных» подсистем, каждая из которых
минимизируется отдельно. После минимизации выполнялся синтез логических схем в библиотеке проектирования заказных цифровых КМОП СБИС. Полученные схемы сравнивались по площади кристалла и по быстродействию. Эксперименты показали, что для некоторых систем функций эффективнее при синтезе является совместная минимизация, для других – раздельная минимизация, среднюю позицию занимает оптимизационная процедура выделения «связанных» подсистем для совместной минимизации.