期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
高效能ESCA协处理器验证技术研究
1
作者
邓承诺
吴丹
+2 位作者
黄威
戴葵
邹雪城
《计算机工程与科学》
CSCD
北大核心
2014年第1期28-33,共6页
处理器结构的日益复杂使得对处理器功能进行有效验证变得越来越重要和关键。基于一款高效能计算协处理器ESCA,讨论了边界值验证、等价类验证和决策表验证等三类验证方法在ESCA处理器功能验证中的具体实现,并针对ESCA处理器中不同功能模...
处理器结构的日益复杂使得对处理器功能进行有效验证变得越来越重要和关键。基于一款高效能计算协处理器ESCA,讨论了边界值验证、等价类验证和决策表验证等三类验证方法在ESCA处理器功能验证中的具体实现,并针对ESCA处理器中不同功能模块的基本特性提出了一种综合验证方法。实验结果表明,采用综合验证方法进行的ESCA处理器功能验证,不仅高效保证了验证案例集的生成,而且以较少的验证工作量实现了100%功能覆盖率,有效减少了ESCA处理器功能验证时间,提高了验证效率。
展开更多
关键词
处理器验证技术
ESCA处理器
边界值验证
等价类验证
决策表验证
综合验证法
下载PDF
职称材料
题名
高效能ESCA协处理器验证技术研究
1
作者
邓承诺
吴丹
黄威
戴葵
邹雪城
机构
华中科技大学电子科学与技术系
出处
《计算机工程与科学》
CSCD
北大核心
2014年第1期28-33,共6页
基金
国家自然科学基金资助项目(60973035
60976027)
湖北省自然科学基金资助项目(ZRZ0051)
文摘
处理器结构的日益复杂使得对处理器功能进行有效验证变得越来越重要和关键。基于一款高效能计算协处理器ESCA,讨论了边界值验证、等价类验证和决策表验证等三类验证方法在ESCA处理器功能验证中的具体实现,并针对ESCA处理器中不同功能模块的基本特性提出了一种综合验证方法。实验结果表明,采用综合验证方法进行的ESCA处理器功能验证,不仅高效保证了验证案例集的生成,而且以较少的验证工作量实现了100%功能覆盖率,有效减少了ESCA处理器功能验证时间,提高了验证效率。
关键词
处理器验证技术
ESCA处理器
边界值验证
等价类验证
决策表验证
综合验证法
Keywords
verification
techniques
of
processor
ESCA
processor
boundary
value
verification
equiva-lence
class
verification
decision
table
verification
comprehensive
verification
分类号
TP302 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
高效能ESCA协处理器验证技术研究
邓承诺
吴丹
黄威
戴葵
邹雪城
《计算机工程与科学》
CSCD
北大核心
2014
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
