Fault secure datapath synthesis using hybrid time and hardware redundancy

Kaijie Wu, Ramesh Karri

Research output: Contribution to journalArticle

Abstract

A fault-secure datapath either generates a correct result or signals an error. This paper presents a register transfer level concurrent error detection (CED) technique that uses hybrid time and hardware redundancy to optimize the time and area overhead associated with fault security. The proposed technique combines the idle computation cycles in a datapath with selective breaking of data dependences of the normal computation. Designers can tradeoff time and hardware overhead by varying these design parameters. We present an algorithm to synthesize fault secure designs and validate it using Synopsys' Behavioral Compiler.

Original languageEnglish (US)
Pages (from-to)1476-1484
Number of pages9
JournalIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Volume23
Issue number10
DOIs
StatePublished - Oct 2004

Keywords

  • Concurrent error detection (CED)
  • Fault secure datapath
  • Register transfer (RT) level synthesis
  • Single event upset (SEU)

ASJC Scopus subject areas

  • Software
  • Computer Graphics and Computer-Aided Design
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Fault secure datapath synthesis using hybrid time and hardware redundancy'. Together they form a unique fingerprint.

  • Cite this