Технологии проектирования компьютерных систем
Лекции
- Системные методов проектирования и TLM модели (слайды, лекция)
- Основные понятия и конструкции языка Verilog (слайды, лекция)
- Dataflow-уровень описания Verilog-моделей (слайды, лекция)
- Поведенческие Verilog-модели (слайды, лекция)
- Оператор generate (слайды, лекция)
- Задачи и функции. Библиотека PLI (слайды, лек_ч1, лек_ч2)
- Практика: Проектирование арифметических устройств
- Синтез Verilog-моделей (слайды, лекция)
- Синтезируемые шаблоны (слайды, лекция)
- Имплементация. Анализ временных параметров (слайды, лекция)
- Back Annotation (слайды, лекция)
- Системный уровень проектирования (слайды, лекция)
- SystemVerilog - Типы данных (слайды: ч1, ч2) (лекция)
- SystemVerilog - Процедурные блоки, задачи и функции (слайды, лекция)
- SystemVerilog - Иерархия проекта. Интерфейсы (ч1, ч2) (лекция)
- SystemVerilog - Методология верификаци, testbench (ч1, пример) (лекция)
- SystemVerilog - ОПП (слайды, лекция)
- SystemVerilog - Псевдослучайная генерация (слайды, лекция)
- SystemVerilog - Функциональное покрытие (слайды, лекция)
- SystemVerilog - Ассерции (слайды, лекция)
- SystemVerilog - Виртуальные интерфейсы (слайды, лекция)
- SystemVerilog - Программы, управление потоками. (ч1, ч2)
- UVM - Классификация компонентов (слайды, лекция)
- UVM - TLM (слайды, лекция)
- UVM - UVCs (слайды, лекция)
Электронный учебник (Делался несколько лет назад, поэтому не включает темы по UVM, не все темы по SV)
Лабораторные работы
Тесты
Часть 1:
- Тенденции в проектировании цифровых устройств
- Типы данных
- Вентильные модели
- Операторы. Dataflow-модели
- Задержка элементов
- Поведенческие модели, операторы initial и always
- Поведенческие модели, операторы caze, cazex и cazez
- Поведенческие модели, циклы
- Управление моделированием
- Параметры
- Подпрограммы
- Синтез Verilog-моделей(ч1, ч2, ч3)
- Анализ временных параметров
- Back_annotation (ч1, ч2)
- Системное проектирование.
- Модели уровня транзакций.
- SV. Типы данных
- SV. Сложные типы данных
- SV. Программы, управление потоками
- SV. Среда верификации
- SV. Интерфейс
- SV. Ассерции, последовательности, свойства (ч1, ч2)
- SV. Функциональное покрытие
- SV. Генерация всевдослучайных значений
- SV. UVM
Экзаменационные вопросы