A formal model and efficient traversal algorithm for generating testbenches for verification of IEEE standard floating point division.

David W. Matula, Lee D. McFearin

Browse the full DATE paper archive.