{"?xml":{"@version":"1.0"},"edm:RDF":{"@xmlns:dc":"http://purl.org/dc/elements/1.1/","@xmlns:edm":"http://www.europeana.eu/schemas/edm/","@xmlns:wgs84_pos":"http://www.w3.org/2003/01/geo/wgs84_pos","@xmlns:foaf":"http://xmlns.com/foaf/0.1/","@xmlns:rdaGr2":"http://rdvocab.info/ElementsGr2","@xmlns:oai":"http://www.openarchives.org/OAI/2.0/","@xmlns:owl":"http://www.w3.org/2002/07/owl#","@xmlns:rdf":"http://www.w3.org/1999/02/22-rdf-syntax-ns#","@xmlns:ore":"http://www.openarchives.org/ore/terms/","@xmlns:skos":"http://www.w3.org/2004/02/skos/core#","@xmlns:dcterms":"http://purl.org/dc/terms/","edm:WebResource":[{"@rdf:about":"http://www.dlib.si/stream/URN:NBN:SI:doc-XDKZJZJX/78bdd939-5c64-47b2-8a1a-c479fceefc46/PDF","dcterms:extent":"1289 KB"},{"@rdf:about":"http://www.dlib.si/stream/URN:NBN:SI:doc-XDKZJZJX/98bc3049-b84f-4623-9e3e-0778604d24cd/TEXT","dcterms:extent":"46 KB"}],"edm:TimeSpan":{"@rdf:about":"1985-2025","edm:begin":{"@xml:lang":"en","#text":"1985"},"edm:end":{"@xml:lang":"en","#text":"2025"}},"edm:ProvidedCHO":{"@rdf:about":"URN:NBN:SI:doc-XDKZJZJX","dcterms:isPartOf":[{"@rdf:resource":"https://www.dlib.si/details/URN:NBN:SI:spr-Z2J12Z6C"},{"@xml:lang":"sl","#text":"Informacije MIDEM"}],"dcterms:issued":"2003","dc:creator":["Brezočnik, Zmago","Dugonik, Bogdan","Kapus, Tatjana","Meolic, Robert"],"dc:format":[{"@xml:lang":"sl","#text":"številka:3"},{"@xml:lang":"sl","#text":"letnik:33"},{"@xml:lang":"sl","#text":"str. 157-169"}],"dc:identifier":["ISSN:0352-9045","COBISSID:8590614","URN:URN:NBN:SI:doc-XDKZJZJX"],"dc:language":"en","dc:publisher":{"@xml:lang":"sl","#text":"Strokovno društvo za mikroelektroniko, elektronske sestavne dele in materiale"},"dc:subject":[{"@xml:lang":"sl","#text":"asinhrono vezje"},{"@xml:lang":"sl","#text":"digitalni sistemi"},{"@xml:lang":"sl","#text":"modeli"},{"@xml:lang":"en","#text":"telecommunication"},{"@xml:lang":"sl","#text":"telekomunikacije"},{"@xml:lang":"sl","#text":"testiranje"}],"dcterms:temporal":{"@rdf:resource":"1985-2025"},"dc:title":{"@xml:lang":"sl","#text":"Formal verification of distributed mutual-exclusion circuits|"},"dc:description":[{"@xml:lang":"sl","#text":"Distributed mutual-exclusion (DME) circuits are an interesting example of asynchronous circuits. They are composed of identical DME cells connected in aring of arbitrary size. Each DME cell provides a connection point for one user, and all users compete for exclusive access to a shared resource. This paper reports about formal verification of two well-known DME circuit implementations. External behaviour of the circuits is described with a simpleprocess, whereas the required properties are expressed with temporal logic ACTL. We were able to detect hazards and verify correctness of external behaviour of the circuits under the fundamental mode of operation"},{"@xml:lang":"sl","#text":"Vezja za porazdeljeno medsebojno izkljueevanje (DME) so zanimiv primer asinhronih vezij. Sestavljena so iz enakih celic DME, povezanih v obroe poljubne velikosti. Vsaka od celic DME ponuja prikljueno toeko za enega uporabnika in vsi uporabniki med seboj tekmujejo za izkljueen dostop do skupnega vira. V elanku obravnavamo formalno verifikacijo dveh znanih izvedb vezja DME. Obnašanje vezij opišemo s preprostim procesom, zahtevane lastnosti pa s temporalno logiko ACTL. Na ta naein smo lahko odkrili hazarde ter verificirali pravilnost obnašanja vezij v fundamentalnem naeinu delovanja"}],"edm:type":"TEXT","dc:type":[{"@xml:lang":"sl","#text":"znanstveno časopisje"},{"@xml:lang":"en","#text":"journals"},{"@rdf:resource":"http://www.wikidata.org/entity/Q361785"}]},"ore:Aggregation":{"@rdf:about":"http://www.dlib.si/?URN=URN:NBN:SI:doc-XDKZJZJX","edm:aggregatedCHO":{"@rdf:resource":"URN:NBN:SI:doc-XDKZJZJX"},"edm:isShownBy":{"@rdf:resource":"http://www.dlib.si/stream/URN:NBN:SI:doc-XDKZJZJX/78bdd939-5c64-47b2-8a1a-c479fceefc46/PDF"},"edm:rights":{"@rdf:resource":"http://rightsstatements.org/vocab/InC/1.0/"},"edm:provider":"Slovenian National E-content Aggregator","edm:intermediateProvider":{"@xml:lang":"en","#text":"National and University Library of Slovenia"},"edm:dataProvider":{"@xml:lang":"sl","#text":"Strokovno društvo za mikroelektroniko, elektronske sestavne dele in materiale"},"edm:object":{"@rdf:resource":"http://www.dlib.si/streamdb/URN:NBN:SI:doc-XDKZJZJX/maxi/edm"},"edm:isShownAt":{"@rdf:resource":"http://www.dlib.si/details/URN:NBN:SI:doc-XDKZJZJX"}}}}