Predmet: Funkcionalna verifikacija hardvera (17.EM459 )
Matične organizacione jedinice predmeta: Departman za energetiku, elektroniku i telekomunikacije
Sticanje znanja iz oblasti osnovnih metoda i alata za sprovođenje funkcionalne verifikacije digitalnih elektronskih sistema. Upoznavanje sa osnovnim karakteristikama jezika za verifikaciju hardvera.
- 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
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
Predavanja. Računarske vežbe. Konsultacije.
| Autori | Naziv | Godina | Izdavač | Jezik |
|---|---|---|---|---|
| 2012 | Engleski | |||
| 2003 | Engleski | |||
| 2003 | Engleski | |||
| 2004 | Engleski |
| Predmetna aktivnost | Predispitna | Obavezna | Broj poena |
|---|---|---|---|
| Predmetna aktivnost Odbranjene računarske vežbe |
Predispitna Da |
Obavezna Da |
Broj poena 50.00 |
| Predmetna aktivnost Pismeni deo ispita - kombinovani zadaci i teorija |
Predispitna Ne |
Obavezna Da |
Broj poena 50.00 |
prof. dr Struharik Rastislav
Redovni profesor
Predavanja
vanr. prof. dr Vranjković Vuk
Vanredni profesor
Predavanja
Asistent Pejić Dejan
Asistent
Laboratorijske vežbe
Saradnik u nastavi Vidović David
Saradnik u nastavi
Laboratorijske vežbe
Asistent Brestovački Lenka
Asistent
