ePrints

Combining Decomposition and Unfolding for STG Synthesis

Lookup NU author(s): Dr Victor Khomenko

Downloads

Full text is not currently available for this publication.

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.

Publication metadata

Author(s): Khomenko V, Schaefer M

Publication type: Report

Publication status: Published

Series Title:

Year: 2007

Pages: 23

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

URL: http://www.informatik.uni-augsburg.de/en/chairs/swt/ti/research/tr/2007_combining/CombiningDecompositionAndUnfoldingTR.pdf

Share