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. We apply the developed theory to improve an STG decomposition algorithm used to tackle the state explosion problem during circuit synthesis, and present some experimental data for this improved algorithm and some benchmark examples.

Publication metadata

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

Publication type: Article

Publication status: Published

Journal: Fundamenta Informaticae

Year: 2008

Volume: 88

Issue: 4

Pages: 541-579

ISSN (print): 0169-2968

ISSN (electronic): 1875-8681

Publisher: IOS Press


Notes: Special Issue on Best Papers from ACSD'07