ePrints

Output-Determinacy and Asynchronous Circuit Synthesis

Lookup NU author(s): Dr Victor Khomenko

Downloads

Full text is not currently available for this publication.

Abstract

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.

Publication metadata

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

Publication type: Report

Publication status: Published

Series Title:

Year: 2007

Pages: 26

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

URL: http://www.informatik.uni-augsburg.de/en/chairs/swt/ti/research/tr/2007_out_det/output-determinacy-tr.pdf

Share