Strategies for Optimised STG Decomposition

— 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.

• Type: Conference
• Year: 2006
• Where: ACSD
• Authors: Mark Schäfer, Walter Vogler, Ralf Wollowski, Victor Khomenko
• Keywords: ACSD 2006, Asynchronous Circuit, Hardware, Smaller Components, State Explosion Problem