Title :
Strategies for Optimised STG Decomposition
Author :
Schaefer, Mark ; Vogler, Walter ; Wollowski, Ralf ; Khomenko, Victor
Author_Institution :
Fakultat fur Informatik, Univ. of Augsburg
Abstract :
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 (W. Vogler et al., 2005), (W. Vogler et al., 2002) and introduces several strategies for efficient implementations, proves them correct and compares them by means of benchmark examples
Keywords :
Petri nets; asynchronous circuits; computational complexity; logic design; optimisation; Petri net; asynchronous circuit; optimised STG decomposition; signal transition graph; state explosion problem; Asynchronous circuits; Automatic generation control; Circuit synthesis; Computational complexity; Digital circuits; Explosions; Petri nets; Signal synthesis; Size control; State-space methods; Asynchronous circuit; Petri net; STG; decomposition; speed-independent;
Conference_Titel :
Application of Concurrency to System Design, 2006. ACSD 2006. Sixth International Conference on
Conference_Location :
Turku
Print_ISBN :
0-7695-2556-3
DOI :
10.1109/ACSD.2006.30
