Strategies for Optimised STG Decomposition

Strategies for Optimised STG Decomposition
复制标题

优化 STG 分解的策略

DOI:
--
复制
发表时间:
2006
期刊:
International Conference on Application of Concurrency to System Design
影响因子:
--
通讯作者:
Victor Khomenko
Victor Khomenko
中科院分区:
--
文献类型:
--
作者:
Mark Schäfer;W. Vogler;Ralf Wollowski;Victor Khomenko

文献摘要

被引文献

相似文献

从STG合成异步电路时,经常会遇到状态爆炸问题。为了缓解这个问题,可以将STG分解为更小的组件。本文讨论了(W. Vogler et al., 2005)、(W. Vogler et al., 2002)的分解方法,介绍了几种有效实现的策略,并通过基准算例对其正确性进行了验证和比较
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