Output-determinacy and asynchronous circuit synthesis
- 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: | Victor Khomenko, Mark SchaeferGND, Walter VoglerGND |
|---|---|
| URN: | urn:nbn:de:bvb:384-opus4-3813 |
| Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/463 |
| Series (Serial Number): | Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg (2007-02) |
| Type: | Report |
| Language: | English |
| Publishing Institution: | Universität Augsburg |
| Release Date: | 2007/02/14 |
| Tag: | output-determinacy; decomposition; STG; asynchronous circuits; OR-causality |
| GND-Keyword: | Stellen-Transitions-Netz; Dekomposition |
| Institutes: | Fakultät für Angewandte Informatik |
| Fakultät für Angewandte Informatik / Institut für Informatik | |
| Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik | |
| Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Professur für Theorie verteilter Systeme | |
| Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
