随机法和Hensel Lifting联合的浮点乘测试用例生成方法

• 作者: 冯春阳 杨靓 黄士坦
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: 浮点乘 仿真验证 边界角用例 Hensel lifting 随机法 检错率
• 年，卷（期）: 2014,（9）
• 所属期刊栏目: VLSI设计与测试及电子设计自动化
• 页码范围: 1509-1521
• 页数: 13页
• 分类号: TN407
• 字数: 10796字
• 语种: 中文

摘要

针对浮点乘仿真验证时覆盖率不全面和边界角用例定位难的问题,提出一种随机法和Hensel lifting理论联合的浮点乘测试用例生成方法.首先通过分析测试用例生成域设计了一个浮点乘测试用例产生及功能仿真平台;然后利用Hensel lifting理论提出一种统一的边界角浮点乘测试用例生成模型.将所提方法用于文中设计的功能仿真平台中,并将该平台与典型浮点测试工具集进行浮点乘性能比较的实验结果表明,该方法可使浮点乘检错率随浮点数位宽的增加而提升,最高增幅可达9.77％,比随机法检错率平均提高15.98％,比典型浮点测试工具集检错率平均提高1.9％.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨靓	西安微电子技术研究所集成电路设计中心	36	234	10.0	14.0
2	黄士坦	西安微电子技术研究所集成电路设计中心	86	744	15.0	22.0
3	冯春阳	西安微电子技术研究所集成电路设计中心	9	23	3.0	4.0