STG decomposition strategies in combination with unfolding
STG decomposition strategies in combination with unfolding
复制标题
DOI：
10.1007/s00236-009-0102-y
复制
发表时间：
2009-09
期刊：
影响因子：
0.6
通讯作者：
Victor Khomenko;Mark Schäfer;W. Vogler;Ralf Wollowski
中科院分区：
文献类型：
--
作者：
Victor Khomenko;Mark Schäfer;W. Vogler;Ralf Wollowski
为了合成有效的异步电路，必须处理状态空间爆炸问题。为了缓解这个问题，可以将STG分解成更小的组件。本文讨论了Vogler和Wollowski的分解方法，并介绍了其有效实现的几种策略。此外，该方法结合了另一种方法来缓解状态空间爆炸，这是基于Petri网展开。通过基准测试实例对所提出的算法进行了比较，实验结果表明，与现有方法相比，该算法在内存占用和运行时间方面都有明显的改善。
For synthesising efficient asynchronous circuits one has to deal with the state space explosion problem. In order to alleviate this problem one can decompose the STG into smaller components. This paper deals with the decomposition method of Vogler and Wollowski and introduces several strategies for its efficient implementations. Furthermore, this approach is combined with another method to alleviate state space explosion, which is based on Petri net unfoldings. The developed algorithms are compared by means of benchmark examples, and the experimental results show significant improvement in terms of memory usage and runtime compared with other existing methods.