Срок обучения 80 ч (повышение квалификации) ч.
Стоимость обучения в соответствии с договором₽
Приемная комиссия +7 499 734-02-42
Контакты для прессы (499) 720-89-35

Функциональная верификация цифровых устройств

Формирование базовых знаний и умений для осуществления функциональной верификации и разработки тестов функционального контроля интегральных схем

Содержание курса

Программа повышения квалификации «Функциональная верификация цифровых устройств» направлена на формирование базовых знаний и умений у сотрудников предприятий для верификации цифровых устройств (как отдельных модулей, так и Систем на Кристалле).

Основные знания, получаемые в рамках программы:

– Знание основных подходов к верификации цифровых устройств, принципов работ симуляторов 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 академических часов

Выдаваемый документ

Удостоверение о повышении квалификации

Форма обучения

  • Очная