Avoiding irreducible CSC conflicts by internal communication
- Resynthesis of handshake specifications obtained e.g. from Balsa or Tangram with speed-independent logic synthesis from STGs is a promising approach.To deal with state-space-explosion, we suggested STG decomposition; a problem is that decomposition can lead to irreducible CSC conflicts. Here, we present a new approach to solve such conflicts by introducing internal communication between the components. We give some first, very encouraging results for very large STGs concerning synthesis time and circuit area.
Author: | Mark SchaeferGND, Walter VoglerGND, Dominic Wist, Ralf Wollowski |
---|---|
URN: | urn:nbn:de:bvb:384-opus4-7609 |
Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/904 |
Series (Serial Number): | Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg (2008-02) |
Type: | Report |
Language: | English |
Publishing Institution: | Universität Augsburg |
Release Date: | 2008/06/16 |
Tag: | STG; decomposition; state-space-explosion; CSC; handshake; resynthesis |
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 |