Abstract

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.

Keywords

Asynchronous circuit, STG, Petri net, decomposition, unfolding, state space explosion