10.3969/j.issn.1000-3428.2009.04.002
非经典切片优化的同步运行时检验方法
利用现有的同步IP核来构建全局异步局部同步系统是未来片上系统设计的一个重要发展方向.在整个设计流程中,正确的接口设计和同步问题是至关重要的.该文提出一种改进的抽象时序图与基于计算切片优化技术的谓词检测方法相结合的同步验证技术.该技术可以使待检查的全局状态空间的规模指数级缩减,使验证效率得到提高.
非经典切片、计算切片、全局异步局部同步系统、谓词检测、偏序迹
35
N945(系统科学)
国家自然科学基金资助项目60373113;国家"973"计划基金资助项目2004CB318000
2009-04-08(万方平台首次上网日期,不代表论文的发表时间)
共3页
4-6