• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Магистратура 2025/2026

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

Статус: Курс обязательный (Компьютерные системы и сети)
Когда читается: 2-й курс, 1, 2 модуль
Охват аудитории: для своего кампуса
Язык: русский

Программа дисциплины

Аннотация

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

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

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

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

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

Содержание учебной дисциплины

  • Раздел 1
  • Раздел 2
  • Раздел 3
  • Раздел 4
  • Раздел 5
  • Раздел 6
  • Раздел 7
  • Раздел 8
Элементы контроля

Элементы контроля

  • неблокирующий Экзамен
  • неблокирующий Активность
Промежуточная аттестация

Промежуточная аттестация

  • 2025/2026 2nd module
    0.25 * Активность + 0.25 * Активность + 0.5 * Экзамен
Список литературы

Список литературы

Рекомендуемая основная литература

  • 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). — Режим доступа: для авториз. пользователей.

Авторы

  • Романова Ирина Ивановна