Verification of the floating point division algorithm for AMD's new K5 microprocessor
