| 非经典切片优化的同步运行时检验方法 |
| |
| 引用本文： | 高新岩,吴尽昭,乔瑞,闫炜.非经典切片优化的同步运行时检验方法[J].计算机工程,2009,35(4):4-6. |
| |
| 作者姓名： | 高新岩 吴尽昭 乔瑞 闫炜 |
| |
| 作者单位： | 1. 中国科学院成都计算机应用研究所,成都,610041
2. 电子科技大学计算机学院,成都,610054 |
| |
| 基金项目： | 国家自然科学基金，国家重点基础研究发展规划(973计划) |
| |
| 摘 要： | 利用现有的同步IP核来构建全局异步局部同步系统是未来片上系统设计的一个重要发展方向。在整个设计流程中，正确的接口设计和同步问题是至关重要的。该文提出一种改进的抽象时序图与基于计算切片优化技术的谓词检测方法相结合的同步验证技术。该技术可以使待检查的全局状态空间的规模指数级缩减，使验证效率得到提高。
|
| 关 键 词： | 非经典切片 计算切片 全局异步局部同步系统 谓词检测 偏序迹 |
| 修稿时间： | |
Non-classical Slicing Optimization Runtime Verification Approach for Synchronization |
| |
| GAO Xin-yan,WU Jin-zhao,QIAO Rui,YAN Wei.Non-classical Slicing Optimization Runtime Verification Approach for Synchronization[J].Computer Engineering,2009,35(4):4-6. |
| |
| Authors: | GAO Xin-yan WU Jin-zhao QIAO Rui YAN Wei |
| |
| Affiliation: | 1.Chengdu Institute of Computer Applications;Chinese Academy of Sciences;Chengdu 610041;2.School of Computer;University of Electronic Science and Technology;Chengdu 610054 |
| |
| 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.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. |
| |
| Keywords: | non-classical slicing computation slicing globally asynchronous locally synchronous system predication detection partial order traces |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
