 <a href="http://devil.ece.utexas.edu:80/~lynch/divide/divide.html"> Verification of the floating point division algorithm for AMD's new K5 microprocessor </a>  <LI>
