Browse by author
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.
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
Publisher: IEEE Computer Society
Library holdings: Search Newcastle University Library for this item