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

2024/2025

Учебный год

RUS

Обучение ведется на русском языке

Кто читает:

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

Статус:

Курс обязательный

Когда читается:

2-й курс, 1, 2 модуль

Преподаватель

Фролов Павел Викторович

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

Аннотация

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