Reliable System Specification for Self-Checking Data-Paths

Details Reliable System Specification for Self-Checking Data-Paths Reliable System Specification for Self-Checking Data-Paths

2007-10-25

arxiv.org/abs/0710.4685v1

Dans Design, Automation and Test in Europe - DATE'05, Munich : Allemagne (2005)

Computer Science

Hardware Architecture

Submitted on behalf of EDAA (http://www.edaa.com/)

Scientific paper

The design of reliable circuits has received a lot of attention in the past, leading to the definition of several design techniques introducing fault detection and fault tolerance properties in systems for critical applications/environments. Such design methodologies tackled the problem at different abstraction levels, from switch-level to logic, RT level, and more recently to system level. Aim of this paper is to introduce a novel system-level technique based on the redefinition of the operators functionality in the system specification. This technique provides reliability properties to the system data path, transparently with respect to the designer. Feasibility, fault coverage, performance degradation and overheads are investigated on a FIR circuit.

Affiliated with

Also associated with

No associations

Rating

Reliable System Specification for Self-Checking Data-Paths does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Reliable System Specification for Self-Checking Data-Paths, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Reliable System Specification for Self-Checking Data-Paths will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-431793