浮点乘法验证中的一种边界点测试方法

• 作者: 俞军 华霞 周汇 程君侠
• 来源期刊: 复旦学报(自然科学版)
• 学科: 工学
• 关键词: 浮点运算 IEEE 754标准 修正模式 随机测试 边界筛选
• 年，卷（期）: 2008,（1）
• 页码范围: 45-49
• 页数: 5页
• 分类号: TN407
• 字数: 2971字
• 语种: 中文

摘要

针对常用的随机测试生成方法的弱点,提出一种用于IEEE浮点乘法验证的边界条件筛选测试生成方法.其基本思路为:对待测算法边界条件建模;求解边界条件;用求得的解构造筛选操作数的标准;筛选操作数实现测试.应用该方法于典型芯片Intel387SX和实际设计项目C387L数学协处理器,证实该方法比随机测试生成方法更为可靠.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	程君侠	复旦大学专用集成电路与系统国家重点实验室	32	310	9.0	17.0
2	俞军	复旦大学专用集成电路与系统国家重点实验室	33	352	10.0	18.0
3	周汇	复旦大学专用集成电路与系统国家重点实验室	3	2	1.0	1.0
4	华霞	复旦大学专用集成电路与系统国家重点实验室	2	0	0.0	0.0