Low-cost concurrent error detection for floating-point unit (FPU) controllers

Michail Maniatakos, Prabhakar Kudva, Bruce M. Fleischer, Yiorgos Makris

Research output: Contribution to journalArticle

Abstract

We present a nonintrusive concurrent error detection (CED) method for protecting the control logic of a contemporary floating-point unit (FPU). The proposed method is based on the observation that control logic errors lead to extensive data path corruption and affect, with high probability, the exponent part of the IEEE-754 floating-point representation. Thus, exponent monitoring can be utilized to detect errors in the control logic of the FPU. Predicting the exponent involves relatively simple operations; therefore, our method incurs significantly lower overhead than the classical approach of duplicating the control logic of the FPU. Indeed, experimental results on the openSPARC T1 processor using SPEC2006FP benchmarks show that as compared to control logic duplication, which incurs an area overhead of 17.9 percent of the FPU size, our method incurs an area overhead of only 5.8 percent yet still achieves detection of over 93 percent of transient errors in the FPU control logic. Moreover, the proposed method offers the ancillary benefit of also detecting 98.1 percent of the data path errors that affect the exponent, which cannot be detected via duplication of control logic. Finally, when combined with a classical residue code-based method for the fraction, our method leads to a complete CED solution for the entire FPU which provides a coverage of 94.1 percent of all errors at an area cost of 16.32 percent of the FPU size.

Original languageEnglish (US)
Article number6178236
Pages (from-to)1376-1388
Number of pages13
JournalIEEE Transactions on Computers
Volume62
Issue number7
DOIs
StatePublished - 2013

Keywords

  • Error correction
  • IEEE-754
  • control logic
  • floating point

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture
  • Computational Theory and Mathematics

Fingerprint Dive into the research topics of 'Low-cost concurrent error detection for floating-point unit (FPU) controllers'. Together they form a unique fingerprint.

  • Cite this