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

In order to overcome the major drawbacks existing in the simulation- based verification of floating- pointmultiplication,such as too large test space,dissatisfying test coverage and difficult corner case location,a genera-ting model of test case for normalized corner floating- point multiplication is constructed on the basis of Hensel lemma.Then,the test case and product are discussed concerning both positively-and negatively- normalized corner floating-point numbers.The results indicate that,in comparison with the traditional corner verification method,theproposed method improves the average error- detecting rate by about 7.39%; especially,it helps achieve an error-detecting rate at different floating- point bit widths up to 9.77%.Thus,it is concluded that the proposed modeleffectively improves the functional coverage and reliability of floating- point multiplication.