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 "e" i System Verilog. Industrijski alati za funkcionalnu verifikaciju hardvera.

Predavanja. Računarske vežbe. Konsultacije.