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%).