Avoiding Irreducible CSC Conflicts by Internal Communication

in: Augsburg Technical Report, Institute of Computer Science, University of Augsburg, February 2008

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.

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

Downloads:

• Technical Report  -  (tr0208_int-com.pdf, 393 KB)