Предмет: Верификација дигиталних система (17 - E244N)


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

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

Тренутно нема података о матичним организационим јединицама предмета!
Програм предмета

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

Оспособљавање студената за процес валидације и верификације дигиталних система високе поузданости.
Након успешног завршетка овог курса, студенти ће бити у стању да самостално учествују у процесу спецификације, валидације, верификације и документације дигиталних система.
Део 1: Упознавање са процесом развоја дигиталних система високе поузданости по ДО-254 стандарду. Писање и валидација спецификације. Писање тестних случајева. Део 2: Поуздан дизајн дигиталног система. Означавање кода. Део 3: Методе формалне верификације. БФМ. УВМ. Део 4: Технике анализе покривености кода. Верификација на хардверу. Емулација на хардверу. Део 5: Рецензија резултата верификације ради сертификације дигиталног система.
Предавања. Туторијали. Радови и рачунарске вежбе (60%). Консултације. Завршни испит је тест из теорије (40%).
АуториНазивГодинаИздавачЈезик
В. Ковачевић, З. КрајачевићОдабрана поглавља пројектовања физичке архитектуре, скрипте2005Српски језик
William K. LamDesign Verification: Simulation and Formal Method-Based Approaches2005Prentice HallЕнглески
J. BergeronWriting testbenches using SystemVerilog2007SpringerЕнглески
R. SalemiThe UVM Primer An Introduction to the Universal Verification Methodology2013Boston Light PressЕнглески
H. Vance, T. BaghiAvionics certification: a complete guide to DO-178 (software), DO-254 (hardware)2007Avionics CommunicationsЕнглески
Предметна активностПредиспитнаОбавезнаБрој поена
Тестдада10.00
Домаћи задатакдада5.00
Домаћи задатакдада5.00
Домаћи задатакдада5.00
Домаћи задатакдада5.00
Колоквијумнене20.00
Колоквијумнене20.00
Теоријски део испитанеда30.00
Практични део испита - задацинеда40.00
Име и презимеВид наставе
Недостаје слика

Пјевалица др Небојша
Ванредни професор

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

Пјевалица др Небојша
Ванредни професор

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