hh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Long-run order-independence of vector-based transition systems
TU Eindhoven, Dept Comp Sci, NL-5600 MB Eindhoven, Netherlands.
TU Eindhoven, Dept Comp Sci, NL-5600 MB Eindhoven, Netherlands.ORCID-id: 0000-0002-4869-6794
TU Eindhoven, Dept Comp Sci, NL-5600 MB Eindhoven, Netherlands.
2011 (engelsk)Inngår i: IET Computers & Digital Techniques, ISSN 1751-8601, E-ISSN 1751-861X, Vol. 5, s. 468-478Artikkel i tidsskrift (Fagfellevurdert) Published
Abstract [en]

Semantics of many specification languages, particularly those used in the domain of hardware, is described in terms of vector-based transition systems. In such transition systems, each macro-step transition is labeled by a vector of inputs in which several inputs may change simultaneously. Each macro-step can thus be decomposed into a number of micro-steps, considering one input change at a time. This is akin to an interleaving semantics, where a concurrent step is represented by an interleaving of its constituting components. In this paper, the authors present abstract criteria on vector-based transition systems, which guarantee the next state computation to be independent of the execution order of micro-steps. If these abstract criteria are satisfied, then state-space generation or exploration algorithms only need to consider one representative among all possible permutations of micro-steps. For most practical applications only the system's long-run behaviour is of relevance and the transient start-up phase can be ignored. Hence, the authors customise their generic techniques to focus on the long-run behaviour and identify orders of interleaving input changes that may behave differently during start-up, but compute the same next states in the long-run behaviour. Applicability of the developed abstract criteria is demonstrated for specifications of transistor netlists. ©2011, IEEE.

sted, utgiver, år, opplag, sider
2011. Vol. 5, s. 468-478
Emneord [en]
interleaving semantics, long run order independence, macro step transition, specification languages, state-space exploration, state-space generation, vector based transition systems
HSV kategori
Identifikatorer
URN: urn:nbn:se:hh:diva-20331ISI: 000298115900005OAI: oai:DiVA.org:hh-20331DiVA, id: diva2:583422
Tilgjengelig fra: 2013-01-08 Laget: 2013-01-08 Sist oppdatert: 2018-01-11bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Personposter BETA

Mousavi, Mohammad Reza

Søk i DiVA

Av forfatter/redaktør
Mousavi, Mohammad Reza
I samme tidsskrift
IET Computers & Digital Techniques

Søk utenfor DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric

urn-nbn
Totalt: 77 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf