Базовый курс по функциональной верификации RISC-V ядер

Основные подходы к функциональной верификации и тестированию RISC-V ядер. Теория и практика поиска и исправления ошибок в RTL-описании.

С.А. Чусов

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

Интересной особенностью курса является раздел bug hunting, представляющий собой сборник смоделированных и подробно разобранных ситуаций обнаружения и исправления ошибок в RTL-описании процессорного ядра с открытым исходным кодом MIRISCV.

Страница курса на GitHub

Ещё записи

Онлайн-курсы Курсы, созданные при поддержке Альянса RISC-V

Практикум по ассемблеру RISC-V

Освоение базовых инструкций языка ассемблера, режимы адресации, прерывания, работа с периферией, отладка программ, расширения.

Онлайн-курсы Курсы, созданные при поддержке Альянса RISC-V

Введение в ассемблер RISC-V

Курс по основам архитектуры, системам команд и расширениям RISC-V. Разработка ассемблерных программ. Практические задачи.

Онлайн-курсы Курсы, созданные при поддержке Альянса RISC-V

RISC-V: архитектура, ассемблер и инструменты разработки

Базовые навыки низкоуровневого программирования на C и ассемблере: кросс-компиляция, эмуляция, отладка, прогноз генерируемого кода.