Fakultet tehničkih nauka

Predmet: Verifikacija digitalnih sistema (17.E244N)

Osnovne informacije:
 
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
J. Bergeron Writing testbenches using SystemVerilog 2007 Springer Engleski
R. Salemi The UVM Primer An Introduction to the Universal Verification Methodology 2013 Boston Light Press Engleski
William K. Lam Design Verification: Simulation and Formal Method-Based Approaches 2005 Prentice Hall Engleski
H. Vance, T. Baghi Avionics certification: a complete guide to DO-178 (software), DO-254 (hardware) 2007 Avionics Communications 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
Predavanja
Računarske vežbe
Računarske vežbe