Predmet: Verifikacija digitalnih sistema (17.E244N )
Osposobljavanje studenata za proces validacije i verifikacije digitalnih sistema visoke pouzdanosti.
Nakon uspešnog završetka ovog kursa, studenti će biti u stanju da samostalno učestvuju u procesu specifikacije, validacije, verifikacije i dokumentacije digitalnih sistema.
Deo 1: Upoznavanje sa procesom razvoja digitalnih sistema visoke pouzdanosti po DO-254 standardu. Pisanje i validacija specifikacije. Pisanje testnih slučajeva. Deo 2: Pouzdan dizajn digitalnog sistema. Označavanje koda. Deo 3: Metode formalne verifikacije. BFM. UVM. Deo 4: Tehnike analize pokrivenosti koda. Verifikacija na hardveru. Emulacija na hardveru. Deo 5: Recenzija rezultata verifikacije radi sertifikacije digitalnog sistema.
Predavanja. Tutorijali. Radovi i računarske vežbe (60%). Konsultacije. Završni ispit je test iz teorije (40%).
| Autori | Naziv | Godina | Izdavač | Jezik |
|---|---|---|---|---|
| 2005 | Engleski | |||
| 2013 | Engleski | |||
| 2007 | Engleski | |||
| 2007 | Engleski | |||
| V. Kovačević, Z. Krajačević | Odabrana poglavlja projektovanja fizičke arhitekture, skripte | 2005 | Srpski jezik |
| Predmetna aktivnost | Predispitna | Obavezna | Broj poena |
|---|---|---|---|
| Predmetna aktivnost Domaći zadatak |
Predispitna Da |
Obavezna Da |
Broj poena 5.00 |
| Predmetna aktivnost Kolokvijum |
Predispitna Ne |
Obavezna Ne |
Broj poena 20.00 |
| Predmetna aktivnost Domaći zadatak |
Predispitna Da |
Obavezna Da |
Broj poena 5.00 |
| Predmetna aktivnost Domaći zadatak |
Predispitna Da |
Obavezna Da |
Broj poena 5.00 |
| Predmetna aktivnost Praktični deo ispita - zadaci |
Predispitna Ne |
Obavezna Da |
Broj poena 40.00 |
| Predmetna aktivnost Domaći zadatak |
Predispitna Da |
Obavezna Da |
Broj poena 5.00 |
| Predmetna aktivnost Kolokvijum |
Predispitna Ne |
Obavezna Ne |
Broj poena 20.00 |
| Predmetna aktivnost Teorijski deo ispita |
Predispitna Ne |
Obavezna Da |
Broj poena 30.00 |
| Predmetna aktivnost Test |
Predispitna Da |
Obavezna Da |
Broj poena 10.00 |
prof. dr Pjevalica Nebojša
Redovni profesor
Predavanja
prof. dr Pjevalica Nebojša
Redovni profesor
Računarske vežbe
Saradnik u nastavi Petrovski Aleksandar
Saradnik u nastavi
