IEEE754标准

作品数:15被引量:17H指数:2
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:李勇华霞俞军程君侠方粮更多>>
相关机构:西安电子科技大学国防科学技术大学复旦大学广东工业大学更多>>
相关期刊:《辽宁工业大学学报(自然科学版)》《计算机研究与发展》《电子器件》《计算机工程》更多>>
相关基金:国家自然科学基金四川省教育厅科学研究项目国家重点实验室开放基金国家高技术研究发展计划更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 学科=电子电信x
条 记 录,以下是1-1
视图:
排序:
浮点乘法验证中的一种边界点测试方法
《复旦学报(自然科学版)》2008年第1期45-49,共5页周汇 俞军 程君侠 华霞 
针对常用的随机测试生成方法的弱点,提出一种用于IEEE浮点乘法验证的边界条件筛选测试生成方法.其基本思路为:对待测算法边界条件建模;求解边界条件;用求得的解构造筛选操作数的标准;筛选操作数实现测试.应用该方法于典型芯片Intel387S...
关键词:浮点运算 IEEE754标准 修正模式 随机测试 边界筛选 
检索报告 对象比较 聚类工具 使用帮助 返回顶部