Strategies for Optimised STG Decomposition

Abstract

Abstract-

STG Decomposition: Internal Communication for SI Implementability

“…To cope with the complexity problems of logic synthesis, we suggest to decompose the STG specification into several smaller component STGs and to apply logic synthesis for each component STG [VW02,SVWK06]. In contrast to our approach, other STG decomposition techniques as the one implemented in Nutas [YM07] and the one in Moebius [CCCGV06] need specifications fulfilling the so-called CSC property (which is necessary for synthesising SI circuits).…”

Combining Decomposition and Unfolding for STG Synthesis

“…The first group are pipelines which have CSC initially. As expected, the new approach produces components without CSC conflicts, i.e., the signals which are necessary for preventing CSC conflicts are kept in the components (the original approach of [VW02,VK05,SVWK06] would have contracted some of them).…”

“…The purely structural decomposition approach of [VW02,VK05,SVWK06] can handle large specifications, but it does not take into account the properties of STGs related to synthesisability, such as the presence of CSC conflicts. In contrast, Mpsat can resolve CSC conflicts and perform logic synthesis, but it is inefficient for large specifications.…”

“…In [SVWK06], different ways to determinise it are described. One of them was tree decomposition, which greatly improves the overall efficiency of decomposition process by re-using intermediate results.…”

“…DesiJ -a tool for decomposing an STG into smaller components [VW02,VK05,SVWK06]. It implements also the techniques of combining decomposition and unfolding presented in this paper and uses Punf and Mpsat for synthesis of final components and for verification of some properties during decomposition.…”