Strategies for Optimised STG Decomposition

Author

Schaefer, Mark ; Vogler, Walter ; Wollowski, Ralf ; Khomenko, Victor

Author_Institution

Fakultat fur Informatik, Univ. of Augsburg

fYear

2006

fDate

28-30 June 2006

Firstpage

123

Lastpage

132

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Application of Concurrency to System Design, 2006. ACSD 2006. Sixth International Conference on

Conference_Location

Turku

ISSN

1550-4808

Print_ISBN

0-7695-2556-3

Type

conf

DOI

10.1109/ACSD.2006.30

Filename

1640230

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2067387