Output details
11 - Computer Science and Informatics
Newcastle University
Article title
Output-Determinacy and Asynchronous Circuit Synthesis
Type
D - Journal article
DOI
-
Title of journal
Fundamenta Informaticae
Article number
-
Volume number
88
Issue number
4
First page of article
541
ISSN of journal
1875-8681
Year of publication
2008
Number of additional authors
2
Additional information
<01> This paper identifies an error in the language-based semantics of non-deterministic Signal Transition Graphs (STG) used to specify asynchronous circuits. It then develops a semantics based on the novel concept of output-determinacy. The developed theory led to improvements in the STG decomposition algorithm (crucial for alleviating the state space explosion), allowing for better design space exploration. The experiments show reductions in the sizes of resulting components, and decomposition and synthesis runtimes. This paper was selected for journal publication as one of the best papers of ACSD'07. It provided the basis for EPSRC award EP/G037809/1 (£412K).
Interdisciplinary
Yes
Cross-referral requested
-
Research group
B - Concurrent Asynchronous Systems
Citation count
4
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
