Affiliations: Hasso-Plattner-Institut, University of Potsdam, Germany.
E-mail: {dominic.wist,ralf.wollowski}@hpi.uni-potsdam.de | Senacor Technologies AG, Vordere Cramergasse 11, 90478
Nuremberg, Germany. E-mail: mark.schaefer@senacor.com | Institute of Computer Science, University of Augsburg,
Germany. E-mail: walter.vogler@informatik.uni-augsburg.de
Abstract: 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
problemis 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.
