30、异步电路设计中的方法融合与移动对象网研究

异步电路设计中的方法融合与移动对象网研究

在当今的计算机科学和电子工程领域，异步电路设计以及移动系统建模是两个备受关注的研究方向。本文将深入探讨两种重要的研究内容：结合分解与展开方法进行信号转换图（STG）综合，以及基于Petri网的移动对象网建模。

结合分解与展开方法进行STG综合

在STG综合领域，传统的纯结构分解方法虽能处理大型规格，但未考虑与可综合相关的特性，如CSC冲突。而Mpsat虽能解决CSC冲突并进行逻辑综合，却在处理大型规格时效率低下。

为解决这一问题，研究提出将这两种方法结合，以高效综合大型STG。其中一个关键技术贡献是在分解过程中保持STG的安全性，因为Mpsat只能处理安全的STG。这不仅是实现问题，而且比处理非安全网更高效，因为展开技术在非安全网中似乎效率不高。

研究还展示了如何通过展开检查动态属性，如隐含性和自动冲突，并将这些检查与更廉价的保守结构条件相结合。未来的研究需要计算分解树，其大小与信号数量呈立方关系，会远超分解和综合的内存使用。因此，需要探索分解树质量与计算所需内存之间权衡的启发式方法。

此外，处理基于握手的STG也非常重要。握手电路虽能综合大型规格，但会导致结果电路过度编码，增加电路面积和延迟。分解可以通过将多个握手组件组合，隐藏内部通信信号，并使用结合方法综合实现组件组合的电路。

移动对象网建模

在移动系统建模方面，移动性给动态系统带来了新挑战，需要新的概念处理方式。研究引入了基于Petri网的形式化方法——移动对象网，它推广了基本对象网的理论，用于处理在分布式命名空间中行动的移动代理。

移动对象网考虑了对象属于命名空间（可通过指针直