Опубликована видеозапись вебинара с анонсом курса «Введение в функциональную верификацию RISC-V ядер»

Курс разработан Чусовым Сергеем Андреевичем, преподавателем НИУ МИЭТ, инженером по верификации цифровых устройств НИЛ ЭСК МИЭТ, имеющим большой опыт верификации как отдельных СФ-блоков, так и целых Систем-на-Кристалле.
 
Содержание курса:

• Тема 0. Вводная. Рассказывает о причинах актуальности верификации цифровых устройств и особой актуальности верификации процессорных ядер. Также дается краткое описание архитектуры набора команд RISC-V и ее особенностей, описывается предполагаемый вектор развития RISC-V.
  
  
• Тема 1. Функциональная верификация процессорных ядер. Содержит теорию об основах верификации цифровых устройств, в частности функциональной верификации. Вводятся понятия архитектуры и микроархитектуры. Подробно разбирается их связь с функциональной верификацией процессорных ядер. Разбирается влияние особенностей архитектуры набора команд RISC-V на процесс верификации ядер, спроектированных на базе данной архитектуры.
  
  
• Тема 2. Основные подходы к функциональной верификации RISC-V ядер. Содержит теорию о двух основных направлениях функциональной верификации цифровых устройств – симуляции и формальной верификации. Производится сравнение этих направлений и определяются области их применения для верификации RISC-V процессоров.
  
  
• Тема 3. Базовые подходы к симуляции RISC-V ядер. Подробно рассматриваются два базовых подхода к функциональной верификации RISC-V ядер на основе симуляции. «Hello world!» и тестирование с самопроверкой – практические занятия.
  
  
• Тема 4. RISC-V верификация: сравнение с эталонной моделью. Рассматривается подход к функциональной верификации RISC-V ядер, основанный на сравнении с программной эталонной моделью. Также разбирается стандартный интерфейс RVFI, используемый для получения информации о внутреннем состоянии процессорного ядра. Тема содержит практическое занятие «Сравнение с эталонной моделью».
  
  
• Тема 5. RISC-V верификация: модифицированное сравнение с эталонной моделью. Описывается два модифицированных подхода к функциональной верификации RISC-V ядер с использованием эталонной модели: синхронное сравнение и асинхронное сравнение.
  

Разработка курса поддержана в рамках конкурса грантов Альянса RISC-V.
Больше материалов, разработанных в рамках конкурса, можно найти на нашей странице:
https://riscv-alliance.ru/learning/

Посмотреть видеозапись вебинара можно по ссылке:
https://rutube.ru/video/private/07e0d4c0536d20fb6e09093c269a07d6/?p=zsaR4_ramSZxu0eSoAEkrg