Toggle Main Menu Toggle Search

Open Access padlockePrints

Output-Determinacy and Asynchronous Circuit Synthesis

Lookup NU author(s): Dr Victor Khomenko


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Signal Transition Graphs (STG) are a formalism for the description of asynchronous circuit behaviour. In this paper we propose (and justify) a formal semantics of non-deterministic STGs with dummies and OR-causality. For this, we introduce the concept of output-determinacy, which is a relaxation of determinism, and argue that it is reasonable and useful in the speed-independent context. With our theory we improve an STG decomposition algorithm, which can alleviate state explosion.

Publication metadata

Author(s): Khomenko V, Schaefer M, Vogler W

Editor(s): Basten, T., Juhas, G., Shukla, S.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 7th International Conference on Application of Concurrency to System Design (ACSD 2007)

Year of Conference: 2007

Pages: 147-156

ISSN: 1550-4808

Publisher: IEEE Computer Society


DOI: 10.1109/ACSD.2007.57

Notes: Selected as one of best papers of ACSD 2007.

Library holdings: Search Newcastle University Library for this item

ISBN: 076952902X