
484 c MAPTE~ 8 Floating-Point Representation, Algorithms, and Implementations
Markstein, E W. (1990). Computation of elementary functions on IBM RISC
System/6000 processor.
IBM]ournal of Research and Development,
pages 111-
19.
Montoye, R. K., E. Hokonek, and S. L. Runyan (1990). Design of the floating-point
execution unit of the IBM RISC System/6000.
IBM]ournal of Research and
Development,
34(1):59-70.
Moore, J. S., T. W. Lynch, and M. Kaufmann (1998). A mechanically checked
proof of the AMD5k86 floating-point division program.
IEEE Transactions
on Computers,
47(9):913-26.
Naini, A., A. Dhablania, W. James, and D. Das Sarma