Предмет: Одабрана поглавља из формалних метода пројектовања и верификације хардвера (17.DE100 )
Матичне организационе јединице предмета: Департман за енергетику, електронику и телекомуникације
Студијски програми предмета:
| Степен и врста студија | Назив |
|---|---|
| Докторске студије | Енергетика, електроника и телекомуникације (Година: 1, Семестар: Зимски) |
Циљ предмета је да студенте упозна са савременим приступима у пројектовању и верфикацији хардвера који су засновани на математичком формализму.
Студенти који успешно заврше овај предмете моћи ће да прате најновије резултате, разумеју стручну и истраживачку литературу и укључе се у научни рад из ове области.
Преглед формалних метода у пројектовању и верификацији хардвера. Део наставе на предмету се одвија кроз самостални студијски истраживачки рад у области пројектовања и верификације хардвера. Студијски истраживачки рад обухвата активно праћење примарних научних извора, организацију и извођење експеримената и статистичку обраду података, нумеричке симулације, писање рада из уже научно наставне области којој припада тема докторске дисертације.
Настава ће се изводити индивидуално са сваким студентом. Наставник ће у сарадњи са сваким студентом да одабере његове (или њене) области интересовања и у складу са тим одабрати литературу и тему коју студент треба да самостално одбрани и презентира. Студијски истраживачки рад.
| Аутори | Назив | Година | Издавач | Језик |
|---|---|---|---|---|
| Разни аутори | Новији чланци из часописа | 2007 | Енглески |
| Предметна активност | Предиспитна | Обавезна | Број поена |
|---|---|---|---|
| Предметна активност Семинарски рад |
Предиспитна Да |
Обавезна Да |
Број поена 50.00 |
| Предметна активност Теоријски део испита |
Предиспитна Не |
Обавезна Да |
Број поена 50.00 |
