Šifra predmeta: 13E044VHD
Verifikacija hardvera u digitalnim integrisanim sistemima je izborni predmet u 8. semestru na Odseku za elektroniku.
Program predmeta:
- Verifikacija kao korak u projektovanju digitalnih integrisanih sistema, značaj, ciljevi.
- Vrste funkcionalne verifikacije, verifikacija zasnovana na simulacijama i formalna verifikacija.
- Funkcionalna verifikacija na nivou blokova i na nivou sistema.
- Jezici za verifikaciju. System Verilog, е јеzik, SystemC.
- Pregled metodologija verifikacije. UVM, arhitektura univerzalne verifikacione komponente.
- Kreiranje test plana, projektovanje verifikacionog okruženja. Direktno zadavanje testova i slučajno zadavanje sa ograničenjima. Analiza pokrivenosti.
Obaveštenja:
- 12.4.2024. Tekst i uputstvo za slanje prvog domaćeg zadatka su objavljeni na kanalu "Domaći zadaci" u MS timu. Rok za završetak je 23.04.2024.
.
- 04.3.2024. Studenti koji su izabrali predmet treba da se prijave u tim za ovu godinu
LINK.
- 28.02.2024. Predavanja u prolećnom semestru 2023/2024 godine će početi u drugoj nedelji semestra, nakon formiranja konačnih lista studenata na izbornim predmetima. Tada će biti formiran i MS Team za ovu školsku godinu.