Browse by author
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.
Author(s): Khomenko V, Schaefer M, Vogler W
Publication type: Article
Publication status: Published
Journal: Fundamenta Informaticae
ISSN (print): 0169-2968
ISSN (electronic): 1875-8681
Publisher: IOS Press
Notes: Special Issue on Best Papers from ACSD'07