- Search

- Kontakt

Strategies for Optimised STG Decomposition

Mark Schaefer, Walter Vogler, Ralf Wollowski, Victor Khomenko
Application of Concurrency to System Design ACSD 2006
IEEE 2006, 123 - 132

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 Vogler, Wollowski and Kangsah and introduces several strategies for efficient implementations, proves them correct and compares them by means of benchmark examples.

Downloads: