ТПКС (new)

 Список лекций

1. Системные методы проектирования, TLM модели (📃) 
2. Основные понятия и конструкции языка SV(📃) 
3. Dataflow-уровень описания SV-моделей  (📃) 
4. Поведенческие SV-модели (4 часа)      (📃) 
5. Типы данных (enum, string)         (📃)
6. Примеры синтезируемых SV-моделей (мультиплексоры, триггеры,
   счетчики, регистры, автоматы)   (📃)
7. Генерирование операторов с помощью оператора generate    (📃)
8. Подпрограммы, PLI, DPI    (📃)
9. Сложные типы данных (структуры, объединения,
                                             массивы, семафоры и мейлбоксы) (📃)
10. Иерархия проекта, интерфейсы (📃)
11. Программы, блоки синхронизации (📃)
12. Классы, виртуальные интерфейсы. (📃 📃)
13. Рандомизация данных (📃)
14. Ассерции (📃)
15. Функциональное покрытие (📃)
16. Синтез схем из VHLD-кода.  Статический анализ временных параметров (📃, 📃)
17. Динамический анализ временных параметров. Архитектура среды верификации (📃, 📃)
18. Основные элементы пакета UVM, объекты и компоненты (📃)
19. TLM-порты. Интерфейсные UVC (📃, 📃)   

Лабораторные работы

1. Лабораторная работа №1 (📃) 
2. Лабораторная работа №2 (📃) 
3. Лабораторная работа №3 (📃) 
4. Лабораторная работа №4 (📃) 
5. Лабораторная работа №5 (📃) 
6. Лабораторная работа №6 (📃) 

Вопросы на экзамен (📃)

Таблица с баллами