- Search

- Kontakt

Avoiding Irreducible CSC Conflicts by Internal Communication

Mark Schaefer, Walter Vogler, Dominic Wist and Ralf Wollowski
Application of Concurrency to System Design ACSD 2008
IEEE 2008, 3-12

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