Browse by author
Lookup NU author(s): Dr Victor Khomenko
Full text is not currently available for this publication.
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.
Author(s): Khomenko V, Schaefer M
Publication type: Report
Publication status: Published
Print publication date: 01/01/2007
Source Publication Date: January 2007
Report Number: 2007-01
Institution: Institute of Computer Science, University of Augsburg
Place Published: Augsburg, Germany