Базовый курс по функциональной верификации RISC-V ядер
Курс знакомит с основными подходами к функциональной верификации RISC-V ядер, использующимися в индустрии микроэлектроники в настоящее время. Ядром курса являются практические занятия, реализующие полный маршрут 3 различных подходов к тестированию (от простого к сложному), а также блок теоретического материала, формирующий контекст восприятия.
Интересной особенностью курса является раздел bug hunting, который представляет собой сборник смоделированных и подробно разобранных ситуаций обнаружения и исправления ошибок в RTL-описании процессорого ядра с открытым исходным кодом MIRISCV.
С.А. Чусов