Toggle Main Menu Toggle Search

Open Access padlockePrints

STG Decomposition Strategies in Combination with Unfolding

Lookup NU author(s): Dr Victor Khomenko

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Abstract

For synthesising efficient asynchronous circuits one has to deal with the state space explosion problem. In order to alleviate this problem one can decompose the STG into smaller components. This paper deals with the decomposition method of Vogler and Wollowski and introduces several strategies for its efficient implementations. Furthermore, this approach is combined with another method to alleviate state space explosion, which is based on Petri net unfoldings. The developed algorithms are compared by means of benchmark examples, and the experimental results show significant improvement in terms of memory usage and runtime compared with other existing methods.


Publication metadata

Author(s): Khomenko V, Schaefer M, Vogler W, Wollowski R

Publication type: Article

Publication status: Published

Journal: Acta Informatica

Year: 2009

Volume: 46

Issue: 6

Pages: 433-474

ISSN (print): 0001-5903

ISSN (electronic): 1432-0525

Publisher: Springer-Verlag

URL: http://dx.doi.org/10.1007/s00236-009-0102-y

DOI: 10.1007/s00236-009-0102-y


Altmetrics

Altmetrics provided by Altmetric


Actions

Find at Newcastle University icon    Link to this publication


Share