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 bas...Show MoreMetadata
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.
Published in: IEEE Transactions on Computers ( Volume: 62, Issue: 7, July 2013)
DOI: 10.1109/TC.2012.81
Department of Electrical Engineering, New York University Abu Dhabi, Abu Dhabi, UAE
Michail Maniatakos is an assistant professor of electrical and computer engineering at New York University Abu Dhabi. He is a 2012 PhD graduate of the Electrical Engineering Department at Yale University, where he also received an MSc in computer engineering in 2009. Prior to Yale, he received his BSc in computer science and MSc in embedded systems from the University of Piraeus in 2006 and 2007 respectively. His research...Show More
Michail Maniatakos is an assistant professor of electrical and computer engineering at New York University Abu Dhabi. He is a 2012 PhD graduate of the Electrical Engineering Department at Yale University, where he also received an MSc in computer engineering in 2009. Prior to Yale, he received his BSc in computer science and MSc in embedded systems from the University of Piraeus in 2006 and 2007 respectively. His research...View more
T.J. Watson Research Center, IBM, Yorktown Heights, NY, USA
Prabhakar Kudva received the PhD degree in computer science from the University of Utah. He is a research staff member in the Reliability- and Power-Aware Microarchitectures Department, IBM T.J. Watson Research Center. His research interests include reliability and power-aware architectures, as well as high-end system and ASIC design methodologies. He is a senior member of the IEEE.
Prabhakar Kudva received the PhD degree in computer science from the University of Utah. He is a research staff member in the Reliability- and Power-Aware Microarchitectures Department, IBM T.J. Watson Research Center. His research interests include reliability and power-aware architectures, as well as high-end system and ASIC design methodologies. He is a senior member of the IEEE.View more
T.J. Watson Research Center, IBM, Yorktown Heights, NY, USA
Bruce M. Fleischer received the AB degree in physics from Harvard University in 1981 and the MS and PhD degrees in electrical engineering from Stanford University in 1987 and 1989, respectively. He is a research staff member in the VLSI Design Department, IBM Thomas J. Watson Research Center. He joined the IBM Research Division in 1989. Since 1992, he has been working on microprocessor circuit design. He was a member of t...Show More
Bruce M. Fleischer received the AB degree in physics from Harvard University in 1981 and the MS and PhD degrees in electrical engineering from Stanford University in 1987 and 1989, respectively. He is a research staff member in the VLSI Design Department, IBM Thomas J. Watson Research Center. He joined the IBM Research Division in 1989. Since 1992, he has been working on microprocessor circuit design. He was a member of t...View more
Department of Electrical Engineering, University of Texas, Dallas, Richardson, TX, USA
Yiorgos Makris received the diploma of computer engineering and informatics from the University of Patras, Greece, in 1995, and the MS and PhD degrees in computer science and engineering from the University of California, San Diego, in 1997 and 2001, respectively. He then spent more than 10 years as a faculty of electrical engineering and of computer science at Yale University and he is currently an associate professor of...Show More
Yiorgos Makris received the diploma of computer engineering and informatics from the University of Patras, Greece, in 1995, and the MS and PhD degrees in computer science and engineering from the University of California, San Diego, in 1997 and 2001, respectively. He then spent more than 10 years as a faculty of electrical engineering and of computer science at Yale University and he is currently an associate professor of...View more
Contents Department of Electrical Engineering, New York University Abu Dhabi, Abu Dhabi, UAE
Michail Maniatakos is an assistant professor of electrical and computer engineering at New York University Abu Dhabi. He is a 2012 PhD graduate of the Electrical Engineering Department at Yale University, where he also received an MSc in computer engineering in 2009. Prior to Yale, he received his BSc in computer science and MSc in embedded systems from the University of Piraeus in 2006 and 2007 respectively. His research interests include robust microprocessors, hardware security and heterogeneous microprocessor architectures. He is a member of IEEE.
Michail Maniatakos is an assistant professor of electrical and computer engineering at New York University Abu Dhabi. He is a 2012 PhD graduate of the Electrical Engineering Department at Yale University, where he also received an MSc in computer engineering in 2009. Prior to Yale, he received his BSc in computer science and MSc in embedded systems from the University of Piraeus in 2006 and 2007 respectively. His research interests include robust microprocessors, hardware security and heterogeneous microprocessor architectures. He is a member of IEEE.View more
T.J. Watson Research Center, IBM, Yorktown Heights, NY, USA
Prabhakar Kudva received the PhD degree in computer science from the University of Utah. He is a research staff member in the Reliability- and Power-Aware Microarchitectures Department, IBM T.J. Watson Research Center. His research interests include reliability and power-aware architectures, as well as high-end system and ASIC design methodologies. He is a senior member of the IEEE.
Prabhakar Kudva received the PhD degree in computer science from the University of Utah. He is a research staff member in the Reliability- and Power-Aware Microarchitectures Department, IBM T.J. Watson Research Center. His research interests include reliability and power-aware architectures, as well as high-end system and ASIC design methodologies. He is a senior member of the IEEE.View more
T.J. Watson Research Center, IBM, Yorktown Heights, NY, USA
Bruce M. Fleischer received the AB degree in physics from Harvard University in 1981 and the MS and PhD degrees in electrical engineering from Stanford University in 1987 and 1989, respectively. He is a research staff member in the VLSI Design Department, IBM Thomas J. Watson Research Center. He joined the IBM Research Division in 1989. Since 1992, he has been working on microprocessor circuit design. He was a member of the floating-point team for the z900 microprocessor, and the lead circuit designer for the floating-point units in the z990, P6, and BlueGene/Q microprocessors. He is the author or coauthor of a textbook chapter, multiple technical articles, and 15 patents. He is a member of the IEEE.
Bruce M. Fleischer received the AB degree in physics from Harvard University in 1981 and the MS and PhD degrees in electrical engineering from Stanford University in 1987 and 1989, respectively. He is a research staff member in the VLSI Design Department, IBM Thomas J. Watson Research Center. He joined the IBM Research Division in 1989. Since 1992, he has been working on microprocessor circuit design. He was a member of the floating-point team for the z900 microprocessor, and the lead circuit designer for the floating-point units in the z990, P6, and BlueGene/Q microprocessors. He is the author or coauthor of a textbook chapter, multiple technical articles, and 15 patents. He is a member of the IEEE.View more
Department of Electrical Engineering, University of Texas, Dallas, Richardson, TX, USA
Yiorgos Makris received the diploma of computer engineering and informatics from the University of Patras, Greece, in 1995, and the MS and PhD degrees in computer science and engineering from the University of California, San Diego, in 1997 and 2001, respectively. He then spent more than 10 years as a faculty of electrical engineering and of computer science at Yale University and he is currently an associate professor of electrical engineering at the University of Texas at Dallas, where he leads the Trusted and Reliable Architectures Research Group. His current research interests include soft-error mitigation in digital circuits, machine learning-based testing of analog/RF circuits, mitigation of hardware Trojans, as well as test and reliability of asynchronous circuits. He serves on the organizing and program committees of many conferences in the areas of test and reliability and is the program chair for the 2013 IEEE VLSI Test Symposium. He is a senior member of the IEEE.
Yiorgos Makris received the diploma of computer engineering and informatics from the University of Patras, Greece, in 1995, and the MS and PhD degrees in computer science and engineering from the University of California, San Diego, in 1997 and 2001, respectively. He then spent more than 10 years as a faculty of electrical engineering and of computer science at Yale University and he is currently an associate professor of electrical engineering at the University of Texas at Dallas, where he leads the Trusted and Reliable Architectures Research Group. His current research interests include soft-error mitigation in digital circuits, machine learning-based testing of analog/RF circuits, mitigation of hardware Trojans, as well as test and reliability of asynchronous circuits. He serves on the organizing and program committees of many conferences in the areas of test and reliability and is the program chair for the 2013 IEEE VLSI Test Symposium. He is a senior member of the IEEE.View more
