Predmet: Verifikacija digitalnih sistema (17.E244N )
Kategorija | Naučno-stručni |
Uža naučna oblast | Računarska tehnika i računarske komunikacije |
ESPB | 6 |
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 |
---|---|---|---|---|
2007 | Engleski | |||
2013 | Engleski | |||
2005 | 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 Test |
Predispitna Da |
Obavezna Da |
Broj poena 10.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 Teorijski deo ispita |
Predispitna Ne |
Obavezna Da |
Broj poena 30.00 |
Predmetna aktivnost Praktični deo ispita - zadaci |
Predispitna Ne |
Obavezna Da |
Broj poena 40.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 |
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