13М044ВХД - Верификација хардвера у дигиталним интегрисаним системима 2
| Спецификација предмета | ||||
|---|---|---|---|---|
| Назив | Верификација хардвера у дигиталним интегрисаним системима 2 | |||
| Акроним | 13М044ВХД | |||
| Студијски програм | Електротехника и рачунарство | |||
| Модул | ||||
| Тип студија | мастер академске студије | |||
| Наставник (предавач) | ||||
| Наставник/сарадник (вежбе) | ||||
| Наставник/сарадник (ДОН) | ||||
| Број ЕСПБ | 6.0 | Статус предмета | изборни | |
| Условљност другим предметима | Увод у пројектовање ВЛСИ система 2 | |||
| Циљеви изучавања предмета | Упознавање са напредним поступцима верификације хардвера у дигиталним интегрисаним системима на нивоу блокова и на системском нивоу. Оспособљавање за рад са напредним методологијама, језицима и алатима за верификацију хардвера. | |||
| Исходи учења (стечена знања) | Студенти ће савладати поступак функционалне верификације хардверских модула коришћењем напредних техника верификације. | |||
| Садржај предмета | ||||
| Линк ка страници предмета | http://tnt.etf.bg.ac.rs/~oe4vhd/ | |||
| Линк ка предавањима | https://teams.microsoft.com/l/team/19%3AbrtPWn0CrNaG0Hl5SxOdBybYvQDTF1LBSC8rLuI-BVI1%40thread.tacv2/conversations?groupId=c79e0d93-2d2e-401d-a881-5d52c0498101&tenantId=1774ef2e-9c62-478a-8d3a-fd2a495547ba | |||
| Садржај теоријске наставе | Напредне технике верификације дигиталних интегрисаних система, циљеви. Функционална и формална верификација. Језици за верификацију хардвера, System Verilog vs. e језик, SystemC. Директно задавање тестова и случајно задавање са ограничењима. UVM (Universal Verification Methodology) регистарски модел. Креирање тест плана и верификационог окружења. Задавање ограничења, анализа покривености. | |||
| Садржај практичне наставе | Пројектовање верификационог окружења за функционалну верификацију једног хардверског модула коришћењем UVM методологије на нивоу регистарског модела. | |||
| Литература | ||||
| ||||
| Број часова активне наставе недељно током семестра/триместра/године | ||||
| Предавања | Вежбе | ДОН | Студијски и истраживачки рад | Остали часови |
| 2 | 1 | 2 | ||
| Методе извођења наставе | Предавања - Power Point презентацијe. Практична настава се изводи кроз самосталан рад у лабораторији на изради задатог пројекта. | |||
| Оцена знања (максимални број поена 100) | ||||
| Предиспитне обавезе | Поена | Завршни испит | Поена | |
| Активности у току предавања | 0 | Писмени испит | 30 | |
| Практична настава | 20 | Усмени испит | 0 | |
| Пројекти | 50 | |||
| Колоквијуми | 0 | |||
| Семинари | 0 | |||