Статическое моделирование временных характеристик работы СБИС с использованием вычислительных систем с общей памятьюдиссертация