Разработка методов и алгоритмов мультиинтервального анализа быстродействия наноэлектронных схем на логическом уровне

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