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


Функциональная верификация цифровой аппаратуры
Статус:
Курс обязательный (Компьютерные системы и сети)
Кто читает:
Департамент компьютерной инженерии
Когда читается:
2-й курс, 1, 2 модуль
Охват аудитории:
для своего кампуса
Язык:
русский
Программа дисциплины
Аннотация
Задача фунциональной верификации -- проверка соответствия реализации цифровой аппаратуры на уровне регистровых передач исходной спецификации. Функциональная верификация является одним из самых трудоёмких этапов маршрута проектирования цифровых микросхем. В рамках курса описываются основные подходы к функциональной верификации. Для верификации в парадигме моделирования даётся краткий обзор методов и стандартных инструментов разработки тестового окружения, описание формальных методов носит ознакомительный характер.
Цель освоения дисциплины
- Цель курса — изучение студентами базовых понятий и методов, применяемых при функциональной верификации аппаратуры, границ их применимости, подходов к оценке полноты верификации, а также роли функциональной верификации в современном маршруте проектирования цифровых устройств.
Планируемые результаты обучения
- различать основные понятия функциональной верификации аппаратуры,
- сравнивать современные методы и инструменты, применяемые при функциональной верификации аппаратуры в парадигме моделирования: средства моделирования, разработки тестовых окружений, сопряжения RTL-модели с внешним ПО
- сравнивать методы контроля полноты верификации,
Список литературы
Рекомендуемая основная литература
- MODEL СHECKING. Верификация параллельных и распределенных программных систем - 978-5-9775-0404-1 - Карпов Ю. - 2010 - Санкт-Петербург: БХВ-Петербург - https://ibooks.ru/bookshelf/26319 - 26319 - iBOOKS
Рекомендуемая дополнительная литература
- Эсетов, Ф. Э. Архитектура компьютера : учебное пособие / Ф. Э. Эсетов. — Махачкала : ДГПУ, 2021. — 84 с. — Текст : электронный // Лань : электронно-библиотечная система. — URL: https://e.lanbook.com/book/330080 (дата обращения: 00.00.0000). — Режим доступа: для авториз. пользователей.