Combining Decomposition and Unfolding for STG Synthesis
- For synthesising efficient asynchronous circuits one has to deal with the state space explosion problem. In this paper, we present a combined approach to alleviate it, based on using Petri net unfoldings and decomposition. The experimental results show significant improvement in terms of runtime and memory consumption compared with other existing methods.
Author: | Victor Khomenko, Mark SchaeferGND |
---|---|
URN: | urn:nbn:de:bvb:384-opus4-3828 |
Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/464 |
Series (Serial Number): | Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg (2007-01) |
Type: | Report |
Language: | English |
Publishing Institution: | Universität Augsburg |
Release Date: | 2007/02/14 |
Tag: | Asynchronous circuit; STG; Petri net; decomposition; unfolding; state space explosion |
GND-Keyword: | Entfaltung <Mathematik>; Petri-Netz; Dekomposition |
Institutes: | Fakultät für Angewandte Informatik |
Fakultät für Angewandte Informatik / Institut für Informatik | |
Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |