Функциональная верификация — один из обязательных этапов разработки цифровых устройств. Цель этого этапа — проверка устройства на соответствие заявленной спецификации: выполняет ли оно все заложенные в него функции и ведет ли себя полностью предсказуемо.
Студенты на практике познакомятся с подходами к верификации, валидации и тестированию hardware-продуктов. Узнают, как снизить цену ошибки и риски при разработке сложных проектов. Полученные навыки позволят участникам курса стать ценными кандидатами для современных дизайн-центров проектирования систем на кристалле (СнК, SoC) и сверхбольших интегральных схем (СБИС, ASIC).
