Naslov
Doprinos verifikaciji formalne ispravnosti projekta kombinacijskih struktura
(A Contribution to the Verification of Formal Corectness in Projects of Combinational Structures)

Autori
Nosović, Novica

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, doktorska disertacija

Fakultet
Fakultet elektrotehnike i računarstva

Mjesto
Zagreb

Datum
05.06

Stranica
92

Mentor
Kalpić, Damir

Ključne riječi
verificiranje logičkog projekta; pogodnost za testiranje; "sea-of-gates" technology
(logic design verification; design for testability; sea of gates)

Izvorni jezik
Hrvatski

Znanstvena područja
Računarstvo

POVEZANOST RADA