Avoiding Irreducible CSC Conflicts by Internal Communication

Issue title: Application of Concurrency to System Design

Article type: Research Article

Authors: Wist, Dominic | Wollowski, Ralf | Schaefer, Mark | Vogler, Walter

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: [email protected] | Institute of Computer Science, University of Augsburg, Germany. E-mail: [email protected]

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.

Keywords: STG, decomposition, state-space explosion, CSC, resynthesis, handshake

DOI: 10.3233/FI-2009-140

Journal: Fundamenta Informaticae, vol. 95, no. 1, pp. 1-29, 2009