Магистратура
2024/2025
Функциональная верификация цифровой аппаратуры
Статус:
Курс обязательный (Компьютерные системы и сети)
Кто читает:
Департамент компьютерной инженерии
Когда читается:
2-й курс, 1, 2 модуль
Охват аудитории:
для своего кампуса
Преподаватели:
Фролов Павел Викторович
Язык:
русский
Программа дисциплины
Аннотация
Задача фунциональной верификации -- проверка соответствия реализации цифровой аппаратуры на уровне регистровых передач исходной спецификации. Функциональная верификация является одним из самых трудоёмких этапов маршрута проектирования цифровых микросхем. В рамках курса описываются основные подходы к функциональной верификации. Для верификации в парадигме моделирования даётся краткий обзор методов и стандартных инструментов разработки тестового окружения, описание формальных методов носит ознакомительный характер.