Приводятся результаты экспериментального исследования эффективности программ блочного покрытия и минимизации многоуровневых представлений булевых функций, выполняемых при синтезе комбинационных схем в библиотеке проектирования заказных СБИС (сверхбольших интегральных схем) по системам разреженных ДНФ (дизъюнктивных нормальных форм) булевых функций.