URN:NBN:SI:DOC-6NVC8Q5S2000Brezočnik, ZmagoČasar, AlešKapus, Tatjanadocuments/doc/6/URN_NBN_SI_doc-6NVC8Q5S_001.pdfdocuments/doc/6/URN_NBN_SI_doc-6NVC8Q5S_001.txt330articlestr. 153-1600352-90455935638URN:NBN:SI:doc-6NVC8Q5SengStrokovno društvo za mikroelektroniko, elektronske sestavne dele in materialeInformacije MIDEMInCalgoritmidigitalna vezjaodločitveni grafipreverjanjeverifikacijaFormal verification of digital circuits using symbolic model checkingFormalna verifikacija digitalnih vezij s simboličnim preverjanjem modelov