Fakultet tehničkih nauka

Predmet: Odabrana poglavlja iz formalnih metoda projektovanja i verifikacije hardvera (17.DE100)

Matične organizacione jedinice predmeta: Departman za energetiku, elektroniku i telekomunikacije
Osnovne informacije:
 
Kategorija Naučno-stručni
Uža naučna oblast Elektronika
ESPB 10

Cilj predmeta je da studente upozna sa savremenim pristupima u projektovanju i verfikaciji hardvera koji su zasnovani na matematičkom formalizmu.

Studenti koji uspešno završe ovaj predmete moći će da prate najnovije rezultate, razumeju stručnu i istraživačku literaturu i uključe se u naučni rad iz ove oblasti.

Pregled formalnih metoda u projektovanju i verifikaciji hardvera. Deo nastave na predmetu se odvija kroz samostalni studijski istraživački rad u oblasti projektovanja i verifikacije hardvera. Studijski istraživački rad obuhvata aktivno praćenje primarnih naučnih izvora, organizaciju i izvođenje eksperimenata i statističku obradu podataka, numeričke simulacije, pisanje rada iz uže naučno nastavne oblasti kojoj pripada tema doktorske disertacije.

Nastava će se izvoditi individualno sa svakim studentom. Nastavnik će u saradnji sa svakim studentom da odabere njegove (ili njene) oblasti interesovanja i u skladu sa tim odabrati literaturu i temu koju student treba da samostalno odbrani i prezentira. Studijski istraživački rad.

Autori Naziv Godina Izdavač Jezik
Razni autori Noviji članci iz časopisa 2007 Engleski
Predmetna aktivnost Predispitna Obavezna Broj poena
Predmetna aktivnost
Seminarski rad
Predispitna
Da
Obavezna
Da
Broj poena
50.00
Predmetna aktivnost
Teorijski deo ispita
Predispitna
Ne
Obavezna
Da
Broj poena
50.00
Predavanja