Floating point multiplication rounding schemes for interval arithmetic

Abstract

Floating point multipliers with two differently rounded results for the same operation can be used for increasing the performance of interval multiplication. The present paper stands by this idea, by investigating the idea of using three existing floating point multiplication rounding algorithms for such multipliers - the Even-Seidel, Quach and Yu-Zyner algorithms. These three rounding schemes are modified for interval arithmetic; furthermore, a new rounding scheme is proposed. The estimates rendered by our analysis show that the proposed scheme has the best performance/area ratio.