期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于Hensel引理的规格化边界角浮点乘测试用例生成模型
1
作者
冯春阳
闫鑫
+1 位作者
杨靓
黄士坦
《华南理工大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2014年第5期128-134,共7页
针对浮点乘仿真验证中测试用例空间大、覆盖不全面和边界角用例定位困难等问题,提出了一种基于Hensel引理的规格化边界角浮点乘测试用例生成模型,并从正规格化和负规格化边界角浮点数两方面对测试用例及乘积结果进行了分类讨论.结果表明...
针对浮点乘仿真验证中测试用例空间大、覆盖不全面和边界角用例定位困难等问题,提出了一种基于Hensel引理的规格化边界角浮点乘测试用例生成模型,并从正规格化和负规格化边界角浮点数两方面对测试用例及乘积结果进行了分类讨论.结果表明,与传统的边界角验证法相比,文中模型的平均检错率提高了约7.39%,不同浮点数位宽下的浮点乘检错率最高可增加9.77%,有效提高了浮点乘功能验证的覆盖率和设计可靠性.
展开更多
关键词
浮点乘
边界角用例
Hensel引理
检错率
仿真验证
在线阅读
下载PDF
职称材料
题名
基于Hensel引理的规格化边界角浮点乘测试用例生成模型
1
作者
冯春阳
闫鑫
杨靓
黄士坦
机构
西安微电子技术研究所
出处
《华南理工大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2014年第5期128-134,共7页
基金
国家航天科技重点攻关项目(617010707)
国家核高基专项(2012ZX01021-001-A1
+1 种基金
208ZX01020-301)
国家某武器系统信息化项目(02-03-FJ1010)
文摘
针对浮点乘仿真验证中测试用例空间大、覆盖不全面和边界角用例定位困难等问题,提出了一种基于Hensel引理的规格化边界角浮点乘测试用例生成模型,并从正规格化和负规格化边界角浮点数两方面对测试用例及乘积结果进行了分类讨论.结果表明,与传统的边界角验证法相比,文中模型的平均检错率提高了约7.39%,不同浮点数位宽下的浮点乘检错率最高可增加9.77%,有效提高了浮点乘功能验证的覆盖率和设计可靠性.
关键词
浮点乘
边界角用例
Hensel引理
检错率
仿真验证
Keywords
floating-point multiplication
comer case
Hensel lemma
error-detecting rate
simulation-based verification
分类号
TN407 [电子电信—微电子学与固体电子学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于Hensel引理的规格化边界角浮点乘测试用例生成模型
冯春阳
闫鑫
杨靓
黄士坦
《华南理工大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2014
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
