Predmet: Funkcionalna verifikacija digitalnih elektronskih kola
(12 -
ETI32) Osnovne informacije
Program predmeta
Program se primenjuje od 18.10.2012.. Predmeti preduslovi
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.
|