Š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:

  • 25.4.2024. Tekst i uputstvo za slanje drugog domaćeg zadatka su objavljeni na kanalu "Domaći zadaci" u MS timu. Rok za završetak je 14.05.2024.

  • 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.