Lee D. McFearin, David W. Matula Generation and Analysis of Hard to Round Cases for Binary Floating Point Division. [Citation Graph (0, 0)][DBLP] IEEE Symposium on Computer Arithmetic, 2001, pp:119-127 [Conf]
David W. Matula, Lee D. McFearin A formal model and efficient traversal algorithm for generating testbenches for verification of IEEE standard floating point division. [Citation Graph (0, 0)][DBLP] DATE, 2006, pp:1134-1138 [Conf]