Предмет: Верификација дигиталних система (17.E244N )
Оспособљавање студената за процес валидације и верификације дигиталних система високе поузданости.
Након успешног завршетка овог курса, студенти ће бити у стању да самостално учествују у процесу спецификације, валидације, верификације и документације дигиталних система.
Део 1: Упознавање са процесом развоја дигиталних система високе поузданости по ДО-254 стандарду. Писање и валидација спецификације. Писање тестних случајева. Део 2: Поуздан дизајн дигиталног система. Означавање кода. Део 3: Методе формалне верификације. БФМ. УВМ. Део 4: Технике анализе покривености кода. Верификација на хардверу. Емулација на хардверу. Део 5: Рецензија резултата верификације ради сертификације дигиталног система.
Предавања. Туторијали. Радови и рачунарске вежбе (60%). Консултације. Завршни испит је тест из теорије (40%).
| Аутори | Назив | Година | Издавач | Језик |
|---|---|---|---|---|
| 2007 | Енглески | |||
| 2005 | Енглески | |||
| В. Ковачевић, З. Крајачевић | Одабрана поглавља пројектовања физичке архитектуре, скрипте | 2005 | Српски језик | |
| 2007 | Енглески | |||
| 2013 | Енглески |
| Предметна активност | Предиспитна | Обавезна | Број поена |
|---|---|---|---|
| Предметна активност Теоријски део испита |
Предиспитна Не |
Обавезна Да |
Број поена 30.00 |
| Предметна активност Домаћи задатак |
Предиспитна Да |
Обавезна Да |
Број поена 5.00 |
| Предметна активност Домаћи задатак |
Предиспитна Да |
Обавезна Да |
Број поена 5.00 |
| Предметна активност Домаћи задатак |
Предиспитна Да |
Обавезна Да |
Број поена 5.00 |
| Предметна активност Тест |
Предиспитна Да |
Обавезна Да |
Број поена 10.00 |
| Предметна активност Практични део испита - задаци |
Предиспитна Не |
Обавезна Да |
Број поена 40.00 |
| Предметна активност Колоквијум |
Предиспитна Не |
Обавезна Не |
Број поена 20.00 |
| Предметна активност Колоквијум |
Предиспитна Не |
Обавезна Не |
Број поена 20.00 |
| Предметна активност Домаћи задатак |
Предиспитна Да |
Обавезна Да |
Број поена 5.00 |
проф. др Небојша Пјевалица
Редовни професор
Предавања
проф. др Небојша Пјевалица
Редовни професор
Рачунарске вежбе
Сарадник у настави Александар Петровски
Сарадник у настави
Рачунарске вежбе
