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.

Download full text files

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Mark SchaeferGND
URN:urn:nbn:de:bvb:384-opus4-4848
Frontdoor URLhttps://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