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

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

• Лекция 1. Знакомство
  • 1.1 Введение в курс и знакомство.
  • 1.2 Знакомство студентов друг с другом и с курсом
  • 1.3 Правила оценки успеваемости и сдачи ДЗ
  • 1.4 Знакомство с gitflic
• Лекция 2. Маршрут проектирования СнК
  • 2.1. Маршрут проектирования СнК
  • 2.2 Роль верификации в маршруте проектирования СнК
  • 2.3 Виды верификации СнК. -> Виды и типы проверок в маршруте проектирования СнК
  • 2.4 Знакомство с системой сборки и запуска. Unity и Code Style
• Лекция 3. Функциональная верификация СнК
  • 3.1 Объект исследования и задачи функциональной верификации
  • 3.2 Инструменты запуска функциональных проверок
  • 3.3 Роль и место функциональных симуляторов в проектировании СнК
  • 3.4 Знакомство с Renode
• Лекция 4. Тестовые и верификационные планы
  • 4.1 Разработка тестовых и верификационных планов
  • 4.2 Метрики оценки качества проверок.
  • 4.3 СI/CD в маршруте проектирования СнК
  • 4.4 Robot Framework
  • 4.5 Renode Robot Framework
• Лекция 5. Функциональная верификация CPU.
  • 5.1 Обзор аппаратуры современных CPU кластеров
  • 5.2 Подходы к верификации и системному тестированию
  • 5.3 Golde Model
• Лекция 6. Введение в языки описания цифровой аппаратуры. SystemVerilog.
  • 6.1 Знакомство со стандартом
  • 6.2 Особенности применения не синтезируемых конструкций для разработки тестового окружения
• Лекция 7. Формальная верификация.
  • 7.1 Задача формальной верификации
  • 7.2 Машины Тьюринга и NP-сложность
  • 7.3 SAT/SMT-решатели
• Лекция 8. HDL Симуляторы и Совместная симуляция
  • 8.1 Инструменты моделирования. RTL Симулятор
  • 8.2 Совместная симуляция
  • 8.3 Интерфейсы взаимодействия DPI и VPI
  • 8.4 Обработка прерываний в Timer & UART
• Лекция 9-10. Консультация и защита проекта.