A Structured Visual Approach to GALS Modeling and Verification of Communication Circuits
A Structured Visual Approach to GALS Modeling and Verification of Communication Circuits
复制标题
DOI：
10.1109/tcad.2016.2611508
复制
发表时间：
2017-06
影响因子：
2.9
通讯作者：
F. Burns;D. Sokolov;A. Yakovlev
中科院分区：
文献类型：
--
作者：
F. Burns;D. Sokolov;A. Yakovlev
本文介绍了一种针对 xMAS 电路的新型全局异步本地同步 (GALS) 建模和验证工具。该工具为 GALS 提供了一个结构化环境，其中建模和验证的组织使其能够处理各种实施任务，从而促进最终用户难以完成的流程。该工具提供不同级别的验证技术。提出了一种使用结构化出现网络的新展开算法。使用死锁关系引入了一种新颖的死锁表示形式，使局部和全局死锁的因果关系可视化。这有助于调查全部或部分系统关闭。特别是，该方法能够可视化系统不同部分之间发生的问题的点对点因果关系，而这些问题更难以分析。此外，还可以检测与同步器相关的不同类型的死锁。这里介绍的工作提供了结构化可视化功能，有助于分析复杂的通信系统。
In this paper, a novel globally asynchronous locally synchronous (GALS) modeling and verification tool is introduced for xMAS circuits. The tool provides a structured environment for GALS in which organization of the modeling and verification enables it to handle a variety of implementation tasks facilitating a process which would otherwise be difficult for the end user. The tool provides verification techniques at different levels. A new unfolding algorithm is presented that uses structured occurrence nets. A novel representation for deadlocks is introduced using deadlock relations enabling the causality of local and global deadlocks to be visualized. This helps in the investigation of total or partial system shutdown. In particular, the approach enables the visualization of point-to-point causality of problems occurring between different parts of the system which are more difficult to analyze. In addition different types of deadlock related to the synchronizer can be detected. The work presented here provides structured visualization capability facilitating the analysis of complex communication systems.