Программа курса
Основы языка SystemVerilog. Общий обзор.
Литеральные значения. Типы данных.
Массивы. Объявления данных. Классы. Операции и выражения.
Планирование семантики: выполнения аппаратной модели и ее среды верификации, моделирование событий,  планировщик событий, контрольные точки обратного вызова.
Процедурные операторы и управление потоком.
Процессы.
Задачи и функции.
Случайные ограничения.
Межпроцессная синхронизация и взаимодействие.
Синхронизация блоков.
Программный блок. Утверждения.
Покрытия. Иерархия. Интерфейсы.
Библиотеки конфигурации. Системные задачи и функции. Директивы компилятора. Дамп изменений значений.
Прямое программирование интерфейсов. Модель объекта. Моделирование конечных автоматов.
Проектирование иерархических структур.
Моделирование законченного проекта.
Моделирование на уровне поведения.
Моделирование на уровне передачасов.