期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
非经典切片优化的同步运行时检验方法
1
作者
高新岩
吴尽昭
+1 位作者
乔瑞
闫炜
《计算机工程》
CAS
CSCD
北大核心
2009年第4期4-6,共3页
利用现有的同步IP核来构建全局异步局部同步系统是未来片上系统设计的一个重要发展方向。在整个设计流程中,正确的接口设计和同步问题是至关重要的。该文提出一种改进的抽象时序图与基于计算切片优化技术的谓词检测方法相结合的同步验...
利用现有的同步IP核来构建全局异步局部同步系统是未来片上系统设计的一个重要发展方向。在整个设计流程中,正确的接口设计和同步问题是至关重要的。该文提出一种改进的抽象时序图与基于计算切片优化技术的谓词检测方法相结合的同步验证技术。该技术可以使待检查的全局状态空间的规模指数级缩减,使验证效率得到提高。
展开更多
关键词
非经典切片
计算
切片
全局异步局部同步系统
谓词检测
偏序迹
在线阅读
下载PDF
职称材料
题名
非经典切片优化的同步运行时检验方法
1
作者
高新岩
吴尽昭
乔瑞
闫炜
机构
中国科学院成都计算机应用研究所
电子科技大学计算机学院
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第4期4-6,共3页
基金
国家自然科学基金资助项目(60373113)
国家“973”计划基金资助项目(2004CB318000)
文摘
利用现有的同步IP核来构建全局异步局部同步系统是未来片上系统设计的一个重要发展方向。在整个设计流程中,正确的接口设计和同步问题是至关重要的。该文提出一种改进的抽象时序图与基于计算切片优化技术的谓词检测方法相结合的同步验证技术。该技术可以使待检查的全局状态空间的规模指数级缩减,使验证效率得到提高。
关键词
非经典切片
计算
切片
全局异步局部同步系统
谓词检测
偏序迹
Keywords
non-classical slicing
computation slicing
globally asynchronous locally synchronous system
predication detection
partial ordertraces
分类号
N945 [自然科学总论—系统科学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
非经典切片优化的同步运行时检验方法
高新岩
吴尽昭
乔瑞
闫炜
《计算机工程》
CAS
CSCD
北大核心
2009
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
