Стицање знања из области основних метода и алата за спровођење функционалне верификације дигиталних електронских система. Упознавање са основним карактеристикама језика за верификацију хардвера.

- способност кеирања верификационог плана на основу функционалне спецификације дизајна - способност развијања окружења за верификацију коришћењем неког језика за верификацију (ХВЛ) - способност верификације сложеног дигиталног система коришћењем развијеног верификационог окружења

Значај верификације. Функционална верификација. Процес функционалне верификације. Верификациони план. Верификационо окружење. Основне компоненте верификационог окружења. Мерење покривености верификационог плана. Покривеност кода. Функционална покривеност. Верификација базирана на мерењу покривености. Језиви за функционалну верификацију хардвера "e" и System Verilog. Индустријски алати за функционалну верификацију хардвера.

Предавања. Рачунарске вежбе. Консултације.