Journal of South China University of Technology (Natural Science Edition) ›› 2014, Vol. 42 ›› Issue (5): 128-134.doi: 10.3969/j.issn.1000-565X.2014.05.020

• Computer Science & Technology • Previous Articles     Next Articles

Generating Model of Test Case for Normalized Corner Floating- Point Multiplication Based on Hensel Lemma

Feng Chun- yang Yan Xin Yang Liang Huang Shi- tan   

  1. Xi'an Microelectronics Technology Institute,Xi'an 710065,Shaanxi,China
  • Received:2013-08-28 Revised:2013-10-09 Online:2014-05-25 Published:2014-04-01
  • Contact: 冯春阳(1980-)，男，博士生，主要从事数字信号处理、高性能微处理器设计与验证研究． E-mail:fengbo_ily@163.com
  • About author:冯春阳(1980-)，男，博士生，主要从事数字信号处理、高性能微处理器设计与验证研究．
  • Supported by:

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

PDF

231

Abstract:

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.

Key words: floating- point multiplication, corner case, Hensel lemma, error- detecting rate, simulation- based veri-fication

CLC Number: