STG Decomposition: Internal Communication for SI Implementability

Logic synthesis of speed independent circuits based on STG decomposition is a promising approach to tackle complexity problems like state-space explosion. Unfortunately, decomposition can result in components that in isolation have irreducible CSC conflicts. Generalising earlier work, we show how to resolve such conflicts by introducing internal communication between the components. The new algorithms are successfully applied to some benchmarks, including very complex STGs arising in the context of control resynthesis.