Предмет: Функционална верификација дигиталних електронских кола (12 - ETI32)


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

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

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

Програм се примењује од 18.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Српски језик
Предметна активностПредиспитнаОбавезнаБрој поена
Одбрањене лабораторијске вежбедада20.00
Одбрана завршног раданеда10.00
Тестдада10.00
Писмени део испита - комбиновани задаци и теоријанеда40.00
Колоквијумдада20.00
Име и презимеВид наставе
Недостаје слика

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

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

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

Аудиторне вежбе
Недостаје слика

Врањковић др Вук
Доцент

Рачунарске вежбе