Toggle Main Menu Toggle Search

Open Access padlockePrints

Strategies for Optimised STG Decomposition

Lookup NU author(s): Dr Victor Khomenko


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


When synthesising an asynchronous circuit from an STG, one often encounters the state explosion problem. In order to alleviate this problem one can decompose the STG into smaller components. This paper deals with the decomposition method of [11,12]and introduces several strategies for efficient implementations, proves them correct and compares them by means of benchmark examples.

Publication metadata

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

Editor(s): Goossens, K. and Petrucci, L.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 6th International Conference on Application of Concurrency to System Design (ACSD 2006)

Year of Conference: 2006

Pages: 123-132

ISSN: 1550-4808

Publisher: IEEE Computer Society


DOI: 10.1109/ACSD.2006.30

Library holdings: Search Newcastle University Library for this item

ISBN: 0769525563