基于Hensel引理的规格化边界角浮点乘测试用例生成模型

摘要：

针对浮点乘仿真验证中测试用例空间大、覆盖不全面和边界角用例定位困难等问题,提出了一种基于Hensel引理的规格化边界角浮点乘测试用例生成模型,并从正规格化和负规格化边界角浮点数两方面对测试用例及乘积结果进行了分类讨论.结果表明,与传统的边界角验证法相比,文中模型的平均检错率提高了约7.39％,不同浮点数位宽下的浮点乘检错率最高可增加9.77％,有效提高了浮点乘功能验证的覆盖率和设计可靠性.

关键词：浮点乘、边界角用例、Hensel引理、检错率、仿真验证

所属期刊栏目：42

分类号：TN407(微电子学、集成电路（IC）)

资助基金：国家航天科技重点攻关项目617010707;国家核高基专项2012ZX01021-001-A1,208ZX01020-301;国家某武器系统信息化项目02-03-FJ1010

在线出版日期：2014-08-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：128-134