Функциональная верификация цифровой аппаратуры

Магистратура 2025/2026

Статус: Курс обязательный (Компьютерные системы и сети)

Кто читает: Департамент компьютерной инженерии

Где читается: Московский институт электроники и математики им. А.Н. Тихонова

Когда читается: 2-й курс, 1, 2 модуль

Охват аудитории: для своего кампуса

Язык: русский

Кредиты: 6

Дополнительные материалы в LMS Задать вопрос

Аннотация

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

Цель освоения дисциплины

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

Планируемые результаты обучения

различать основные понятия функциональной верификации аппаратуры,
сравнивать современные методы и инструменты, применяемые при функциональной верификации аппаратуры в парадигме моделирования: средства моделирования, разработки тестовых окружений, сопряжения RTL-модели с внешним ПО
сравнивать методы контроля полноты верификации,