Akademska digitalna zbirka SLovenije - logo
VSE knjižnice (vzajemna bibliografsko-kataložna baza podatkov COBIB.SI)
  • Funkcionalna semantika in formalna verifikacija sinhronih vezij : doktorska disertacija
    Brezočnik, Zmago
    V disertaciji predlagamo funkcionalno semantiko za sinhrona sekvenčna vezja. Temelji na monotonih funkcijah, ki preslikujejo končne nize na vhodih vezja v enako dolge izhodne nize. V tej semantiki ... definiramo tri relacije skladnosti med sinhronimi vezji: ekvivalenco, relacijo "cevovod" in časovni homomorfizem. Dokažemo tudi, da je zunanja notacijska semantika ekvivalentna preprosti operacijski semantiki. Za specifikacijo zapletenega časovnega obnašanja sinhronih vezij uporabljamo TPDL funkcije. Teoretične raziskave smo podkrepili s programskim paketom VERSYC za avtomatično verifikacijo funkcionalne pravilnosti sinhronih vezij tako na osnovi notacijske kot tudi operacijske semantike. Z njim smo uspešno verificirali že pestro množico vezij z različno stopnjo kompleksnosti, v kateri je najkompleksnejši računalnik z mikrokodirano kontrolno enoto. Primerjava doseženih rezultatov z rezultati drugih avtorjev po našem mnenju kaže na obetavnost pristopa.
    Vrsta gradiva - disertacija
    Založništvo in izdelava - Maribor : [Z. Brezočnik], 1992
    Jezik - slovenski
    COBISS.SI-ID - 5157892

Knjižnica/institucija Kraj Akronim Za izposojo Druga zaloga
Centralna tehniška knjižnica Univerze v Ljubljani Ljubljana CTK na dom 1 izv.
Knjižnica tehniških fakultet, Maribor Maribor KTFMB v čitalnico 1 izv.
Narodna in univerzitetna knjižnica, Ljubljana Ljubljana NUK v čitalnico 1 izv.
Univerzitetna knjižnica Maribor Maribor UKM v čitalnico 1 izv.
ni za izposojo 1 izv.
loading ...
loading ...
loading ...

Vnos na polico