Сектор проводит работы по следующим темам: 1.Разработка методов и алгоритмов для систем логического проектирования. 2.Разработка теоретических основ и вычислительных алгоритмов решения задач оптимального проектирования КМОП БИС, включая проблемы параметрической и структурной оптимизации параметрической оптимизации. 3.Разработка дискретных методов и алгоритмов решения базовых задач моделирования и оптимизации СБИС. Ключевые слова САПР СБИС, моделирование цифровых схем, оптимизация цифровых схем