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

第47卷 第1期 复旦学报 (自然科学版) Vo1．47 No．1 2008年2月 Journal of Fudan University(Natural Science) Feb．2008 文章编号：0427—7104(2008)01—0045—05 浮点乘法验证中的一种边界点测试方法 周 汇，俞 军，程君侠，华 霞 (复旦大学专用集成电路与系统国家重点实验室，上海200433) 摘 要：针对常用的随机测试生成方法的弱点，提出一种用于IEEE浮点乘法验证的边界条件筛选测试生成方 法．其基本思路为：对待测算法边界条件建模；求解边界条件；用求得的解构造筛选操作数的标准；筛选操作数实 现测试．应用该方法于典型芯片Inte1387SX和实际设计项目C387L数学协处理器，证实该方法比随机测试生成 方法更为可靠． 关键词：浮点运算；IEEE 754标准；修正模式；随机测试；边界筛选 中图分类号：TN 407 文献标识码：A 自IEEE 754标准…1被业界普遍采用以来，确保浮点运算符合该标准，一直是微处理器设计中极具挑 战的任务之一．IEEE 754标准规定浮点算法规格化后的操作数格式为：(一1) 2 (1·f)，S为符号位， e 为指数部分，bias为指数偏移量，厂为尾数的小数部分．标准对运算后的近似修正定义了4种模式：向最 接近值修iE E 、向上(正无穷)修正、向下(负无穷)修正、向零修正(后3种统称为“直接修正”模式)． 迄今为止，较有代表性的验证工具有：IBM以色列海法研究所的浮点生成器l34 J，安特卫普大学的浮 点测试工具l5]，以及加州伯克利测试工具_6]．它们共同的优点是功能强大，系统性好，缺点是其运用灵活 性不高，平台式工具运用于中小型设计成本太高．另外，它们在验证方法论上可归为系统验证_l ，对于单 条运算指令的可靠性正确性难以深究．因此，通常在系统验证的测试用例都通过之后，需要进入随机测试 阶段，旨在利用随机测试产生偏僻用例，确保设计的可靠性．但随着运算精度提高，数据空间急剧增大，随 机测试难以完成这个任务． 本文针对随机生成方法的弱点，提出一种边界筛选测试生成方法，它能涵盖IEEE标准定义的3种直 接修正模式，适用于所有遵从该标准而设计的浮点乘法的验证，可以作为现有验证工具在单条指令验证方 面的有力补充． 1测试方法 理论上，测试方法包括数学证明、完备测试、目标测试、随机测试等 J．对于每一种算法，数学证明并 不总是可行．IEEE 754单精度单操作数函数可以进行完备测试，即每一种可能的操作数取值均可测到．但 在可接受的时间消耗内，双精度及其扩展精度通常无法进行这样的测试．目标测试取决于知道如何识别算 法的弱点，而这往往正是测试的目的所在．因此，随机测试占有重要位置． 随机发生通常采用线性反馈移位寄存器_8 J产生随机数，在某个操作数空间内，随机生成一些操作数 应用于运算．这种方法有其地位，但它不是一种比较经济的呈现问题的办法．例如，数以十亿计的随机测试 也不曾发现Pentium芯片的除法缺陷_6 J．随着运算精度提高，数据空间的增大，这个弱点日益明显． 2 边界筛选测试生成方法 算法在边界条件时发生错误的几率远大于一般条件，而边界点只占所有待测点的很小一部分．针对以 上特点，提出一种边界条件筛选测试生成方法．其基本思路为：对待测算法边界条件建模；求解边界条件； 收稿日期：2007一O1—11 作者简介：周 汇(1982一)，男，硕士研究生 复旦学报(自然科学版) 第47卷 用求得的解构造筛选操作数的标准；筛选操作数实现测试． 2．1 边界条件建模求解 对于IEEE 754的直接修正模式，边界点恰好是未经修正的浮点数(运算结果)本身…1．以80位扩展 精度乘法运算直接修正模式为例．80位扩展精度操作数格式：(一1)～2 (1·f)，S为0或1，e为15位 二进制整数，．厂为63位二进制整数．尾数(1·．厂)部分的运算的边界点可建模表示为 xy=2 一ip± ；