A monte-carlo floating-point unit for self-validating arithmetic
Jackson H.C. Yeung, Evangeline F. Y. Young, Philip H. W. Leong · 2011
Monte-Carlo arithmetic is a form of self-validating arithmetic that accounts for the effect of rounding errors. We have implemented a floating point unit that can perform either IEEE 754 or Monte-Carlo floating point computation, allowing hardware accelerated validation of results during execution. Experiments show that our approach has a modest hardware overhead and allows the propagation of rounding error to be accurately estimated.