Combining Decomposition and Unfolding for STG Synthesis

in: Augsburg Technical Report, Institute of Computer Science, University of Augsburg, January 2007

For synthesising efficient 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 significant improvement in terms of runtime and memory consumption compared with other existing methods.

Downloads:

• Combining Decomposition and Unfolding for STG Synthesis  -  (CombiningDecompositionAndUnfoldingTR.pdf, 344 KB)