Browse by author
Lookup NU author(s): Dr Victor Khomenko
Full text is not currently available for this publication.
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. For this, we introduce a 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 justification of a new STG decomposition algorithm used to tackle the state explosion problem during circuit synthesis.
Author(s): Khomenko V, Schaefer M, Vogler W
Publication type: Report
Publication status: Published
Print publication date: 01/01/2007
Source Publication Date: January 2007
Report Number: 2007-02
Institution: Institute of Computer Science, University of Augsburg
Place Published: Augsburg, Germany