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