非经典切片优化的同步运行时检验方法  

Non-classical Slicing Optimization Runtime Verification Approach for Synchronization

作　　者：高新岩[1] 吴尽昭[1] 乔瑞[1] 闫炜[2] 

机构地区：[1]中国科学院成都计算机应用研究所,成都610041 [2]电子科技大学计算机学院,成都610054

出　　处：《计算机工程》2009年第4期4-6,共3页Computer Engineering

基　　金：国家自然科学基金资助项目(60373113);国家“973”计划基金资助项目(2004CB318000)

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

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

分 类 号：N945[自然科学总论—系统科学]