Рассмотрены два основных метода повышения эффективности временного анализа: обнаружение ложных путей распространения сигнала и статистический временной анализ. Разработан новый алгоритм обнаружения ложных путей на основе генерации большого количества логических ограничений в схеме.
