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