-
Funkcionalna semantika in formalna verifikacija sinhronih vezij : doktorska disertacijaBrezočnik, ZmagoV 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 - disertacijaZaložništvo in izdelava - Maribor : [s.n.], 1992Jezik - slovenskiCOBISS.SI-ID - 5157892
Avtor
Brezočnik, Zmago
Teme
digitalni sistemi |
sinhrona vezja |
funkcionalna semantika |
formalna verifikacija |
najmanjša negibna točka |
binarni odločitveni graf |
strojna oprema |
računalništvo |
digital systems |
synchronous circuits |
functional semantics |
formal verification |
leased fixed point |
binary decision diagram |
hardware |
computer science
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Rezervirajte gradivo na želenem mestu prevzema.
Mesto prevzema |
Status gradiva | Rezervacija |
---|---|---|
Centralna tehniška knjižnica Univerze v Ljubljani |
prosto - na dom, čas izposoje: 14 dni
|
Signatura – lokacija, inventarna št. ... |
Status izvoda |
---|---|
0000059287/0000000041 Skladišče IN: 399300229 59287/41 Skladišče IN: 399300229 |
prosto - na dom, čas izposoje: 14 dni
|
![loading ... loading ...](themes/default/img/ajax-loading.gif)
![loading ... loading ...](themes/default/img/ajax-loading.gif)
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Vnos na polico
Trajna povezava
- URL:
Faktor vpliva
Dostop do baze podatkov JCR je dovoljen samo uporabnikom iz Slovenije. Vaš trenutni IP-naslov ni na seznamu dovoljenih za dostop, zato je potrebna avtentikacija z ustreznim računom AAI.
Leto | Faktor vpliva | Izdaja | Kategorija | Razvrstitev | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Baze podatkov, v katerih je revija indeksirana
Ime baze podatkov | Področje | Leto |
---|
Povezave do osebnih bibliografij avtorjev | Povezave do podatkov o raziskovalcih v sistemu SICRIS |
---|---|
Brezočnik, Zmago | 02071 |
Izberite prevzemno mesto:
Prevzem gradiva po pošti
Obvestilo
Gesla v Splošnem geslovniku COBISS
Izbira mesta prevzema
Mesto prevzema | Status gradiva | Rezervacija |
---|
Prosimo, počakajte trenutek.