浮点乘法验证中的一种边界点测试方法
A Corner Case Test for Floating-Point Multiplication Verification作者机构：复旦大学专用集成电路与系统国家重点实验室上海200433
出 版 物：《复旦学报（自然科学版）》 (Journal of Fudan University：Natural Science)
年 卷 期：2008年第47卷第1期
页 面：45-49页
核心收录：
学科分类：080903[工学-微电子学与固体电子学] 0809[工学-电子科学与技术（可授工学、理学学位）] 08[工学]
主 题：浮点运算 IEEE754标准 修正模式 随机测试 边界筛选
摘 要：针对常用的随机测试生成方法的弱点,提出一种用于IEEE浮点乘法验证的边界条件筛选测试生成方法.其基本思路为:对待测算法边界条件建模;求解边界条件;用求得的解构造筛选操作数的标准;筛选操作数实现测试.应用该方法于典型芯片Intel387SX和实际设计项目C387L数学协处理器,证实该方法比随机测试生成方法更为可靠.
维普期刊数据库
同方期刊数据库