Бакалавриат
2025/2026
Верификация систем на кристалле
Статус:
Курс обязательный (Информатика и вычислительная техника)
Кто читает:
Департамент компьютерной инженерии
Когда читается:
4-й курс, 1, 2 модуль
Охват аудитории:
для своего кампуса
Язык:
русский
Кредиты:
6
Контактные часы:
62
Программа дисциплины
Аннотация
Настоящая дисциплина входит в цикл общепрофессиональных дисциплин, изучаемых студентами программы «Информатика и вычислительная техника». Целью курса является ознакомление студентов с базовыми принципами и методами верификации программ и современных цифровых устройств, а также формирование у студентов практических умений в области верификации. В результате изучения данной дисциплины у студентов будет сформировано понимание маршрута проектирования цифровых устройств и места верификации в нем. Будут освоены знания, умения и навыки, позволяющие проводить формальную и функциональную верификацию на примере СнК на базе архитектуры RISC-V. При обучении предусмотрен контроль знаний студентов в виде домашних / индивидуальных заданий, практических, лабораторных работ и экзамена.
Цель освоения дисциплины
- Приобретение теоретических и практических навыков по разработке, проектированию и верификации цифровых систем
- Изучение языка программирования (проектирования цифровых систем) Verilog
- Применение языка программирования С++ для верификации цифровых схем при помощи инструмента верификации Verilator
- Знакомство с архитектурой RISC процессоров. Аппаратная верификация софт-процессора с архитектурой RISC-V
Планируемые результаты обучения
- Знать теоретические основы верификации цифровых устройств
- Иметь навыки проектирования в специализированном программном обеспечении моделирования HDL описания цифровых устройств Icarus Verilog и Verilator, работы в среде моделирования ModelSim и проектирования цифровых систем на языках HDL Verilog и SystemVerilog.
- Научиться созданию тестовых покрытий для цифровых устройств
- Знакомство с архитектурой RISC процессоров. Аппаратная верификация софт-процессора с архитектурой RISC-V.
Содержание учебной дисциплины
- Основы верификации
- Унифицированная методология верификации
- Инструменты симуляции цифровых схем
- Тестовое окружение цифровых устройств
- Аппаратное прототипирование софт-процессора архитектуры RISC-V
Промежуточная аттестация
- 2025/2026 2nd module0.15 * Домашняя работа + 0.15 * Контроль на лекциях + 0.5 * Практические работы + 0.2 * Экзамен
