Верификация систем на кристалле

Программа курса

• Знакомство
  • Введение в курс и знакомство.
  • Знакомство студентов друг с другом и с курсом
  • Правила оценки успеваемости и сдачи ДЗ
  • Знакомство с gitflic
• Маршрут проектирования СнК
  • Маршрут проектирования СнК
  • Роль верификации в маршруте проектирования СнК
  • Виды верификации СнК. -> Виды и типы проверок в маршруте проектирования СнК
  • Знакомство с системой сборки и запуска. Unity и Code Style
• Функциональная верификация СнК
  • Объект исследования и задачи функциональной верификации
  • Инструменты запуска функциональных проверок
  • Роль и место функциональных симуляторов в проектировании СнК
  • Знакомство с Renode
• Тестовые и верификационные планы
  • Разработка тестовых и верификационных планов
  • Метрики оценки качества проверок.
  • СI/CD в маршруте проектирования СнК
  • Robot Framework
  • Renode Robot Framework
• Функциональная верификация CPU.
  • Обзор аппаратуры современных CPU кластеров
  • Подходы к верификации и системному тестированию
  • Golde Model
• Введение в языки описания цифровой аппаратуры. SystemVerilog.
  • Знакомство со стандартом
  • Особенности применения не синтезируемых конструкций для разработки тестового окружения
• Формальная верификация.
  • Задача формальной верификации
  • Машины Тьюринга и NP-сложность
  • SAT/SMT-решатели
• HDL Симуляторы и Совместная симуляция
  • Инструменты моделирования. RTL Симулятор
  • Совместная симуляция
  • Интерфейсы взаимодействия DPI и VPI
  • Обработка прерываний в Timer & UART
• Консультация и защита проекта.