Предмет: Функционална верификација хардвера (17.EM459 )
Матичне организационе јединице предмета: Департман за енергетику, електронику и телекомуникације
Стицање знања из области основних метода и алата за спровођење функционалне верификације дигиталних електронских система. Упознавање са основним карактеристикама језика за верификацију хардвера.
- способност кеирања верификационог плана на основу функционалне спецификације дизајна - способност развијања окружења за верификацију коришћењем неког језика за верификацију (ХВЛ) - способност верификације сложеног дигиталног система коришћењем развијеног верификационог окружења
Значај верификације. Функционална верификација. Процес функционалне верификације. Верификациони план. Верификационо окружење. Основне компоненте верификационог окружења. Мерење покривености верификационог плана. Покривеност кода. Функционална покривеност. Верификација базирана на мерењу покривености. Језиви за функционалну верификацију хардвера
Предавања. Рачунарске вежбе. Консултације.
| Аутори | Назив | Година | Издавач | Језик |
|---|---|---|---|---|
| 2012 | Енглески | |||
| 2003 | Енглески | |||
| 2004 | Енглески | |||
| 2003 | Енглески |
| Предметна активност | Предиспитна | Обавезна | Број поена |
|---|---|---|---|
| Предметна активност Писмени део испита - комбиновани задаци и теорија |
Предиспитна Не |
Обавезна Да |
Број поена 50.00 |
| Предметна активност Одбрањене рачунарске вежбе |
Предиспитна Да |
Обавезна Да |
Број поена 50.00 |
проф. др Растислав Струхарик
Редовни професор
Предавања
ванр. проф. др Вук Врањковић
Ванредни професор
Предавања
Асистент Дејан Пејић
Асистент
Лабораторијске вежбе
Асистент Давид Видовић
Асистент
Лабораторијске вежбе
Асистент Ленка Брестовачки
Асистент
Лабораторијске вежбе
