Предмет: Функционална верификација хардвера (17 - EM459)


Основне информације

КатегоријаНаучно-стручни
Научна областЕлектроника
МултидисциплинарнаНе
ЕСПБ5
Матичне организационе јединице предмета

Департман за енергетику, електронику и телекомуникације
Програм предмета

Програм се примењује од 20.10.2012..


Предмети предуслови

Назив предметаМора се одслушатиМора се положити
Језици за моделовање хардверадада
Пројектовање сложених дигиталних системадане

Предмети којима је предуслов предмет Функционална верификација хардвера

Назив предметаМора се одслушатиМора се положити
Формалне методе пројектовања и верификације хардверадада
Стицање знања из области основних метода и алата за спровођење функционалне верификације дигиталних електронских система. Упознавање са основним карактеристикама језика за верификацију хардвера.
- способност кеирања верификационог плана на основу функционалне спецификације дизајна - способност развијања окружења за верификацију коришћењем неког језика за верификацију (ХВЛ) - способност верификације сложеног дигиталног система коришћењем развијеног верификационог окружења
Значај верификације. Функционална верификација. Процес функционалне верификације. Верификациони план. Верификационо окружење. Основне компоненте верификационог окружења. Мерење покривености верификационог плана. Покривеност кода. Функционална покривеност. Верификација базирана на мерењу покривености. Језиви за функционалну верификацију хардвера "e" и System Verilog. Индустријски алати за функционалну верификацију хардвера.
Предавања. Рачунарске вежбе. Консултације.
АуториНазивГодинаИздавачЈезик
A. MeyerPrinciples of Functional Verification2003NewnesЕнглески
A. PizialiFunctional Verification Coverage Measurement and Analysis2004Springer VerlagЕнглески
S. PalnitkarDesign Verfication with e2003Prentice HallЕнглески
C. Spear, G. TumbushSystemVerilog for Verification2012Springer VerlagЕнглески
Предметна активностПредиспитнаОбавезнаБрој поена
Одбрањене рачунарске вежбедада50.00
Писмени део испита - комбиновани задаци и теоријанеда50.00
Име и презимеВид наставе
Недостаје слика

Струхарик др Растислав
Редовни професор

Предавања
Недостаје слика

Врањковић др Вук
Ванредни професор

Предавања
Недостаје слика

Пејић Дејан
Сарадник у настави

Лабораторијске вежбе
Недостаје слика

Видовић Давид
Сарадник у настави

Лабораторијске вежбе
Недостаје слика

Брестовачки Ленка
Асистент

Лабораторијске вежбе