Функциональная верификация цифровых устройств
Формирование базовых знаний и умений для осуществления функциональной верификации и разработки тестов функционального контроля интегральных схем
Содержание курса
Программа повышения квалификации «Функциональная верификация цифровых устройств» направлена на формирование базовых знаний и умений у сотрудников предприятий для верификации цифровых устройств (как отдельных модулей, так и Систем на Кристалле).
Основные знания, получаемые в рамках программы:
– Знание основных подходов к верификации цифровых устройств, принципов работ симуляторов Verilog и System Verilog;
– Способность проверять простейшие цифровые устройства с одиночным тактовым доменом, получать и анализировать функциональное покрытие;
– Имение опыта верификации цифровых устройств
Модули программы:
Модуль 1: Маршрут проектирования. Введение в функциональную верификацию. Симуляторы SystemVerilog. Запуск и советы по отладке. (8 часов, из них 2 часа СРС)
Краткое содержание: Изучение процессов маршрута проектирования
Лекции и практические занятия: в модуль входят 4 лекции и 2 практических занятия
Модуль 2: Последовательностная логика. Циклические и случайные воздействия. Рандомизация. Верификация на основе транзакций (8 часов, из них 4 часа СРС)
Краткое содержание: Изучение процессов циклических и случайных воздействий
Лекции и практические занятия: в модуль входят 4 лекции и 2 практических занятия
Модуль 3: Функциональная верификация и создание тестовых сценариев. Взаимодействие с устройством при помощи протоколов. (8 часов, из них 2 часа СРС)
Краткое содержание: Изучение процессов функциональной верификации
Лекции и практические занятия: в модуль входят 4 лекции и 2 практических занятия
Модуль 4: Объектно-ориентированное программирование в SystemVerilog. Создание классов, манипуляции с классами, рандомизация классов (8 часов, из них 2 часа СРС)
Краткое содержание: Изучение процессов объектно-ориентированного программирования
Лекции и практические занятия: в модуль входят 4 лекции и 2 практических занятия
Модуль 5: Верификационное окружение с применением объектно-ориентированного подхода. Основные компоненты и принципы проектирования. Использование пакетов и интерфейсов (8 часов, из них 2 часа СРС)
Краткое содержание: Изучение процессов верификационного окружения.
Лекции и практические занятия: в модуль входят 4 лекции и 2 практических занятия
Модуль 6: Функциональное и кодовое покрытие. (8 часов, из них 2 часа СРС)
Краткое содержание: Изучение процессов функционального и кодового покрытия
Лекции и практические занятия: в модуль входят 4 лекции и 2 практических занятия
Модуль 7: SystemVerilog Assertions. White-box тестирование.. (8 часов, из них 2 часа СРС)
Краткое содержание: Изучение процессов SystemVerilog Assertions. White-box тестирования.
Лекции и практические занятия: в модуль входят 4 лекции и 2 практических занятия
Модуль 7: Verification Intellectual Property. Разбор полного маршрута функциональной верификации. Верификация многосоставных дизайнов. (8 часов, из них 2 часа СРС)
Краткое содержание: Изучение процессов верификации многосоставных дизайнов
Лекции и практические занятия: в модуль входят 4 лекции и 2 практических занятия
Работа над индивидуальным проектом. (16 часов СРС)
Краткое содержание: самостоятельная верификация цифрового устройства с обязательными консультациями с преподавателем.
Итоговая аттестация
Краткое содержание: Зачет по результатам изучения всех модулей.
Выдаваемый документ
Удостоверение о повышении квалификации
Форма обучения
· очная
Объем программы
80 академических часов
Выдаваемый документ
Удостоверение о повышении квалификации
Форма обучения
- Очная