摘要: 针对浮点乘仿真验证中测试用例空间大、覆盖不全面和边界角用例定位困难等问题,提出了一种基于 Hensel 引理的规格化边界角浮点乘测试用例生成模型,并从正规格化和负规格化边界角浮点数两方面对测试用例及乘积结果进行了分类讨论.结果表明,与传统的边界角验证法相比,文中模型的平均检错率提高了约 7.39%,不同浮点数位宽下的浮点乘检错率最高可增加9.77%,有效提高了浮点乘功能验证的覆盖率和设计可靠性.
中图分类号:
冯春阳 闫鑫 杨靓 黄士坦. 基于 Hensel 引理的规格化边界角浮点乘测试用例生成模型[J]. 华南理工大学学报(自然科学版), 2014, 42(5): 128-134.
Feng Chun- yang Yan Xin Yang Liang Huang Shi- tan. Generating Model of Test Case for Normalized Corner Floating- Point Multiplication Based on Hensel Lemma[J]. Journal of South China University of Technology (Natural Science Edition), 2014, 42(5): 128-134.