Методы и алгоритмы оптимизации схем для САПР заказных цифровых КМОП СБИС, алгоритмы трассировки для кремниевого компилятора Ключевые слова системы автоматизации проектирования, теория графов, топологический синтез, методы трансляции, формальная логика