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


  • 21.05.2021. Postavljen je treći domaći zadatak. Rok za izradu je utorak 1.06. u 23:59h. Online odbrane su planirane u četvrtak 3.06. prema rasporedu koji je objavljen u uputstvu za izradu trećeg domaćeg zadatka.

  • 23.04.2021. Postavljen je drugi domaći zadatak. Rok za izradu je utorak 11.05. u 23:59h. Online odbrane su planirane u četvrtak 13.05. prema rasporedu koji je objavljen u uputstvu za izradu drugog domaćeg zadatka.

  • 9.04.2021. Postavljen je prvi domaći zadatak. Rok za izradu je utorak 20.04. u 23:59h, a online odbrane su planirane 22.04. prema rasporedu koji će naknadno biti objavljen.

  • 26.03.2021. Plan održavanja nastave, konsultacija i rokovi za izradu domaćih zadataka se nalaze u fajlu koji je postavljen u folderu Files na kanalu General u MS timu. Takodje je postavljen fajl sa spiskom studenata koji treba da rade domaće zadatke (prvi deo tabele). Prijavljivanje parova za domaće je do srede 31.03. na mejl: jelena@etf.rs

  • 10.03.2021. Predavanja će početi u petak 12.03.2021. u 16:15 preko MS Teams platforme. Studenti koji su izabrali predmet, a do sada nisu pristupali timu treba da se priključe preko linka LINK

  • 03.03.2021. Nastava u letnjem semestru školske 2020/21. će početi u petak 12.03. kada se završi izbor predmeta. Predavanja će biti organizovana online, a detalji će biti objavljeni na ovoj stranici.

  • 03.03.2021. Studenti koji razmišljaju da izaberu ovaj predmet i imaju dodatna pitanja mogu da se uključe na konsultacije preko MS Teams platforme u petak 5.03. u 16h LINK