| Abstract
|
<p>Semantics of many specification l … <p>Semantics of many specification languages, particularly those used in the domain of hardware, is described in terms of vector-based transition systems. In such a transition system, each macro-step transition is labeled by a vector of inputs. When performing a macro-step, several inputs may potentially change. Each macro-step can thus be decomposed in a number of micro-steps, taking one input change at a time into account. This is akin to an interleaving semantics, where a concurrent step is represented by an interleaving of its constituting components. We present abstract criteria on vector-based transition systems, which guarantee that the next state computation is independent of the order in which these micro-steps are executed. If our abstract criteria are satisfied by the semantic definition of a certain specification, then its state-space generation or exploration algorithm needs to only consider one representative among all possible permutations of such micro-steps. We demonstrate the applicability of our abstract criteria to the specification of transistor netlists. © 2010 IEEE.</p>ransistor netlists. © 2010 IEEE.</p>
|
| Author
|
M. Raffelsieper +
, Mohammad Reza Mousavi +
, H. Zantema +
|
| Conference
|
The 10th International Conference on Application of Concurrency to System Design
|
| DOI
|
http://dx.doi.org/10.1109/ACSD.2010.24 +
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:584488
|
| EndPage
|
123 +
|
| HostPublication
|
Proceedings 10th International Conference on Application of Concurrency to System Design (ACSD’10, Braga, Portugal, June 21-25, 2010) +
|
| PublicationType
|
Conference Paper +
|
| Publisher
|
IEEE Computer Society +
|
| Series
|
International Conference on Application of Concurrency to System Design. Proceedings +
|
| StartPage
|
115 +
|
| Title
|
Order-independence of vector-based transition systems +
|
| Year
|
2010 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:Order-independence of vector-based transition systems +
, Publications:Order-independence of vector-based transition systems +
, Publications:Order-independence of vector-based transition systems +
, Publications:Order-independence of vector-based transition systems +
, Publications:Order-independence of vector-based transition systems +
, Publications:Order-independence of vector-based transition systems +
, Publications:Order-independence of vector-based transition systems +
, Publications:Order-independence of vector-based transition systems +
, Publications:Order-independence of vector-based transition systems +
, Publications:Order-independence of vector-based transition systems +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:43:48 +
|
