您的位置： 专家智库 > >

华霞

作品数：2 被引量：0H指数：0
供职机构：复旦大学信息科学与工程学院专用集成电路与系统国家重点实验室更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 1篇电子电信
  • 1篇自动化与计算...

主题

  • 2篇点运算
  • 2篇浮点
  • 2篇浮点运算
  • 2篇IEEE75...
  • 1篇伪随机
  • 1篇边界点

机构

  • 2篇复旦大学

作者

  • 2篇周汇
  • 2篇程君侠
  • 2篇俞军
  • 2篇华霞

传媒

  • 1篇复旦学报（自...
  • 1篇计算机工程

年份

  • 2篇2008
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
一种用于浮点乘法的边界筛选伪随机测试方法
2008年
复杂测试空间中难以命中的冷僻细节,导致在IEEE浮点算法测试过程中难以验证单条浮点运算的正确性。该文针对传统直接随机测试方法的缺点,提出一种边界筛选生成案例的测试方法。该方法对待测算法边界条件建模,求解边界条件,利用解来构造筛选操作数的标准,并通过筛选操作数实现测试。实验证明该方法比直接随机测试方法更可靠。
周汇俞军程君侠华霞
关键词：浮点运算IEEE754标准
浮点乘法验证中的一种边界点测试方法
2008年
针对常用的随机测试生成方法的弱点,提出一种用于IEEE浮点乘法验证的边界条件筛选测试生成方法.其基本思路为:对待测算法边界条件建模;求解边界条件;用求得的解构造筛选操作数的标准;筛选操作数实现测试.应用该方法于典型芯片Intel387SX和实际设计项目C387L数学协处理器,证实该方法比随机测试生成方法更为可靠.
周汇俞军程君侠华霞
关键词：浮点运算IEEE754标准
全选 清除 导出
共1页<1>
聚类工具0