11 Функциональная верификация и создание тестовых сценариев. Взаимодействие с тестируемым устройством при помощи протоколов. Ведет занятие: Сергей Чусов, Инженер по верификации цифровых устройств НИЛ-ЭСК-МИЭТ
12 Микроархитектура и Буферы FIFO. Разбор работы FIFO по тактам. Ведет занятие: Михаил Кусков, Преподаватель Университета Иннополис
13 FIFO, протокол valid/ready, flow control и решение микроархитектурных задач. Ведет занятие: Михаил Кусков, Преподаватель Университета Иннополис
14 Оптимизация физической площади FIFO с помощью SRAM. Backpressure в конвейере. Credit-based flow control. Ведет занятие: Максим Кудинов, RTL-дизайнер лаборатории МФТИ
15 Введение в функциональную верификацию на основе транзакций. Применение ООП для верификации цифровых устройств. Ведет занятие: Сергей Чусов, Инженер по верификации цифровых устройств НИЛ-ЭСК-МИЭТ