Predmet: Formalne metode projektovanja i verifikacije hardvera (17.EM405A )
Matične organizacione jedinice predmeta: Departman za energetiku, elektroniku i telekomunikacije
Kategorija | Teorijsko-metodološki |
Uža naučna oblast | Elektronika |
ESPB | 5 |
Obrazovni cilj ovog kursa je sticanje znanja iz oblasti formalne specifikacije i verifikacije digitalnog hardvera. To su napredna znanja potrebna u radu jednog verifikacionog inženjera.
Nakon uspešnog završetka predmeta studenti će znati teorijske osnove za specifikaciju i verifikaciju hardvera. Studenti će moći prevesti neformalni opis hardvera na formalne specifikacije osobina i znaće da koriste
Uvod u formalnu specifikaciju i verifikaciju hardvera: kontekst, dizajn kola, greške i ciklus dizajniranja, formalna verifikacija naspram simulacije, test-vektora,
Predavanja. Računarske vežbe. Konsultacije.
Autori | Naziv | Godina | Izdavač | Jezik |
---|---|---|---|---|
2006 | Engleski | |||
2006 | Engleski | |||
1998 | Engleski | |||
1999 | Engleski |
Predmetna aktivnost | Predispitna | Obavezna | Broj poena |
---|---|---|---|
Predmetna aktivnost Pismeni deo ispita - kombinovani zadaci i teorija |
Predispitna Ne |
Obavezna Da |
Broj poena 30.00 |
Predmetna aktivnost Odbrana projekta |
Predispitna Da |
Obavezna Da |
Broj poena 50.00 |
Predmetna aktivnost Složeni oblici vežbi |
Predispitna Da |
Obavezna Da |
Broj poena 20.00 |
vanr. prof. dr Vranjković Vuk
Vanredni profesor
Predavanja
vanr. prof. dr Dautović Staniša
Vanredni profesor
Predavanja
Asistent Radovanović Boris
Asistent