Predmet: Funkcionalna verifikacija hardvera (17.EM459 )
Matične organizacione jedinice predmeta: Departman za energetiku, elektroniku i telekomunikacije
Studijski programi predmeta:
Stepen i vrsta studija | Naziv |
---|
Kategorija | Naučno-stručni |
Uža naučna oblast | Elektronika |
Multidisciplinarna | Ne |
ESPB | 5 |
Cilj:
Sticanje znanja iz oblasti osnovnih metoda i alata za sprovođenje funkcionalne verifikacije digitalnih elektronskih sistema. Upoznavanje sa osnovnim karakteristikama jezika za verifikaciju hardvera.
Ishod:
- sposobnost keiranja verifikacionog plana na osnovu funkcionalne specifikacije dizajna - sposobnost razvijanja okruženja za verifikaciju korišćenjem nekog jezika za verifikaciju (HVL) - sposobnost verifikacije složenog digitalnog sistema korišćenjem razvijenog verifikacionog okruženja
Sadržaj:
Značaj verifikacije. Funkcionalna verifikacija. Proces funkcionalne verifikacije. Verifikacioni plan. Verifikaciono okruženje. Osnovne komponente verifikacionog okruženja. Merenje pokrivenosti verifikacionog plana. Pokrivenost koda. Funkcionalna pokrivenost. Verifikacija bazirana na merenju pokrivenosti. Jezivi za funkcionalnu verifikaciju hardvera
Metodologija izvođenja nastave:
Predavanja. Računarske vežbe. Konsultacije.
Literatura:
Autori | Naziv | Godina | Izdavač | Jezik |
---|---|---|---|---|
2012 | Engleski | |||
2003 | Engleski | |||
2003 | Engleski | |||
2004 | Engleski |
Formiranje ocene:
Predmetna aktivnost | Predispitna | Obavezna | Broj poena |
---|---|---|---|
Odbranjene računarske vežbe | Da | Da | 50.00 |
Pismeni deo ispita - kombinovani zadaci i teorija | Ne | Da | 50.00 |
Izvođači nastave:
prof. dr Struharik Rastislav
Redovni profesor
Predavanja
Saradnik u nastavi Vidović David
Saradnik u nastavi
Laboratorijske vežbe
Saradnik u nastavi Pejić Dejan
Saradnik u nastavi
Laboratorijske vežbe
Asistent Brestovački Lenka
Asistent
Laboratorijske vežbe
vanr. prof. dr Vranjković Vuk
Vanredni profesor