Signal transition graph decomposition: internal communication for speed independent circuit implementation
Signal transition graph decomposition: internal communication for speed independent circuit implementation
复制标题
信号转换图分解：用于速度独立电路实现的内部通信
DOI：
--
复制
发表时间：
2011
影响因子：
1.2
通讯作者：
Ralf Wollowski
中科院分区：
文献类型：
--
作者：
Dominic Wist;Mark Schaefer;W. Vogler;Ralf Wollowski
基于信号转换图（STG）分解的速度无关电路的逻辑综合是解决状态空间爆炸等复杂性问题的一种有前景的方法。不幸的是，分解可能会导致孤立的组件具有不可简化的完整状态编码冲突。在早期的工作中，作者展示了如何通过引入组件之间的内部通信来解决此类冲突，但仅限于非常有限的规范结构。在这里，他们通过提出用于识别延迟转换的算法和插入陀螺仪以实现具有更通用结构的规范来改进以前的工作。因此，作者现在能够根据现实生活中的规范来合成控制器。对于所有算法，他们都提供了正确性证明，并展示了它们在基准测试中的成功应用，包括在控制重新合成的背景下出现的非常复杂的 STG。
Logic synthesis of speed independent circuits based on signal transition graph (STG) decomposition is a promising approach to tackle complexity problems like state-space explosion. Unfortunately, decomposition can result in components that in isolation have irreducible complete state coding conflicts. In earlier work, the authors showed how to resolve such conflicts by introducing internal communication between components, but only for very restricted specification structures. Here, they improve their former work by presenting algorithms for identifying delay transitions and inserting gyroscopes for specifications having a much more general structure. Thus, the authors are now able to synthesise controllers from real-life specifications. For all algorithms, they present correctness proofs and show their successful application to benchmarks, including very complex STGs arising in the context of control resynthesis.