Predmet: Formalne metode projektovanja i verifikacije hardvera (17.EM405A )
Matične organizacione jedinice predmeta: Departman za energetiku, elektroniku i telekomunikacije
Studijski programi predmeta:
Stepen i vrsta studija | Naziv |
---|
Kategorija | Teorijsko-metodološki |
Uža naučna oblast | Elektronika |
Multidisciplinarna | Ne |
ESPB | 5 |
Cilj:
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.
Ishod:
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
Sadržaj:
Uvod u formalnu specifikaciju i verifikaciju hardvera: kontekst, dizajn kola, greške i ciklus dizajniranja, formalna verifikacija naspram simulacije, test-vektora,
Metodologija izvođenja nastave:
Predavanja. Računarske vežbe. Konsultacije.
Literatura:
Autori | Naziv | Godina | Izdavač | Jezik |
---|---|---|---|---|
2006 | Engleski | |||
1999 | Engleski | |||
2006 | Engleski | |||
1998 | Engleski |
Formiranje ocene:
Predmetna aktivnost | Predispitna | Obavezna | Broj poena |
---|---|---|---|
Pismeni deo ispita - kombinovani zadaci i teorija | Ne | Da | 30.00 |
Složeni oblici vežbi | Da | Da | 20.00 |
Odbrana projekta | Da | Da | 50.00 |
Izvođači nastave:
vanr. prof. dr Vranjković Vuk
Vanredni profesor
Predavanja
Asistent Radovanović Boris
Asistent
Laboratorijske vežbe
vanr. prof. dr Dautović Staniša
Vanredni profesor