FMA-Based Division

  • David M. Russinoff


Multiplicative division algorithms are typically based on a sequence of approximations of the reciprocal of the divisor b, derived by the Newton-Raphson method.


  1. 7.
    Harrison, J.: Formal verification of IA-64 division algorithms. In: M. Aagaard, J. Harrison (eds.) Theorem Proving in Higher Order Logics: 13th International Conference, Lecture Notes in Computer Science, vol. 1869. Springer-Verlag (2000)Google Scholar
  2. 18.
    Markstein, P. W.: Computation of elementary functions on the IBM RISC System/6000 processor. IBM Journal of Research and Development 34(1) (1990)MathSciNetCrossRefGoogle Scholar
  3. 24.
    Pineiro, J.-A., Oberman, S. F., Muller, J.-M., Bruguera, J. D.: High-speed function approximation using a minimax quadratic interpolator. IEEE Trans. Comput. 54(3) (2005). Available at CrossRefGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • David M. Russinoff
    • 1
  1. 1.Arm HoldingsAustinUSA

Personalised recommendations