摘要： 利用现有的同步IP核来构建全局异步局部同步系统是未来片上系统设计的一个重要发展方向。在整个设计流程中，正确的接口设计和同步问题是至关重要的。该文提出一种改进的抽象时序图与基于计算切片优化技术的谓词检测方法相结合的同步验证技术。该技术可以使待检查的全局状态空间的规模指数级缩减，使验证效率得到提高。

关键词: 非经典切片, 计算切片, 全局异步局部同步系统, 谓词检测, 偏序迹

Abstract: Reusing the existing IP cores to compose globally asynchronous locally synchronous system is gaining increasing importance for the upcoming system-on-chip designs. The correct interface design and synchronization issue become a crucial step for the whole development process. This paper proposes a verification technique based on modified abstract timing diagrams and predication detection method with non-classical computation slicing optimization technique for synchronization. It is very effective due to exponential gains in reducing the global state space.

Key words: non-classical slicing, computation slicing, globally asynchronous locally synchronous system, predication detection, partial order traces

中图分类号: 

• N945