Reflections on the Pentium division bug
Blum, M.; Wasserman, H.
Computers, IEEE Transactions on
Volume 45, Issue 4, Apr 1996 Page(s):385 - 393
Digital Object Identifier 10.1109/12.494097
Summary:We review the field of result-checking and suggest that it be
extended to a methodology for enforcing hardware/software reliability.
We thereby formulate a vision for “self-monitoring”
hardware/software whose reliability is augmented through embedded suites
of run-time correctness checkers. In particular, we suggest that
embedded checkers and correctors may be employed to safeguard against
arithmetic errors such as that which has bedeviled the Intel Pentium
Microprocessor. We specify checkers and correctors suitable for
monitoring the multiplication and division functionalities of an
arbitrary arithmetic processor and seamlessly correcting erroneous
output which may occur for any reason during the lifetime of the chip
View citation and abstract |