DesiJ - A Tool for STG Decomposition
- For synthesising efficient asynchronous circuits from STGs one has to deal with the state space explosion problem. For this purpose STG decomposition was introduced by Chu and improved by Vogler and Wollowski. Here, we present the tool DesiJ which is the implementation of STG decomposition and proposed by Vogler and several other optimisations.
Author: | Mark SchaeferGND |
---|---|
URN: | urn:nbn:de:bvb:384-opus4-4848 |
Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/608 |
Series (Serial Number): | Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg (2007-11) |
Type: | Report |
Language: | English |
Publishing Institution: | Universität Augsburg |
Release Date: | 2007/12/21 |
Tag: | Asynchronous circuit; STG; Petri net; decomposition; state space explosion; DesiJ |
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 |