Combining Decomposition and Unfolding for STG Synthesis

For synthesising ecient asynchronous circuits one has to deal with the state space explosion problem. In this paper, we present a combined approach to alleviate it, based on using Petri net unfoldings and decomposition. The experimental results show signicant improvement in terms of runtime compared with other existing methods.