Abstract: In order to solve the problems of dissatisfied test coverage and conditional corner case in floating-point multiplication by the simulation-based verification,a test case generating method based on random test combining with Hensel lifting is proposed.Firstly,a simulation platform for test case and functional verification of floating-point multiplication is designed by the analysis of test case space.Then,an unified modeling of corner case for floating-point multiplication based on Hensel lifting is introduced.The test case generation based on random test combining with Hensel lifting is applied to the above platform,and the performances among the platform and mainstream floating-point test tools about floating-point multiplication are compared.The experimental results show that the proposed method makes error-detecting rate upgrade with the increase of floating-point bit width at the maximum of 9.77%and improves respectively 15.98%and 1.9%than random test and mainstream floating-point test tools on the average.