The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - April (1996 vol.45)
pp: 385-393
ABSTRACT
<p><b>Abstract</b>—We review the field of <b>result-checking</b> 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 <b>checkers</b> and <b>correctors</b> 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.</p>
INDEX TERMS
Built-in testing, concurrent error detection, fault tolerance, Pentium, reliability, result-checking, verification.
CITATION
Manuel Blum, Hal Wasserman, "Reflections on the Pentium Division Bug", IEEE Transactions on Computers, vol.45, no. 4, pp. 385-393, April 1996, doi:10.1109/12.494097
28 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool