Time redundancy. Time redundancy

Similar documents
Defect Tolerance in VLSI Circuits

Fault-Tolerant Computing

Redundancy in fault tolerant computing. D. P. Siewiorek R.S. Swarz, Reliable Computer Systems, Prentice Hall, 1992

Redundancy in fault tolerant computing. D. P. Siewiorek R.S. Swarz, Reliable Computer Systems, Prentice Hall, 1992

Fault-Tolerant Computing

Fault Tolerance. The Three universe model

To design a 4-bit ALU To experimentally check the operation of the ALU

Advanced Computer Architecture-CS501

The functional block diagram of 8085A is shown in fig.4.1.

Siewiorek, Daniel P.; Swarz, Robert S.: Reliable Computer Systems. third. Wellesley, MA : A. K. Peters, Ltd., 1998., X

Computer Architecture and Organization: L04: Micro-operations

CHAPTER 9 MULTIPLEXERS, DECODERS, AND PROGRAMMABLE LOGIC DEVICES

CS/COE 0447 Example Problems for Exam 2 Spring 2011

Review. Steps to writing (stateless) circuits: Create a logic function (one per output)

Computer Organization

BOOLEAN ALGEBRA. 1. State & Verify Laws by using :

Code No: R Set No. 1

CprE 458/558: Real-Time Systems. Lecture 17 Fault-tolerant design techniques

Assembly Language. Lecture 2 - x86 Processor Architecture. Ahmed Sallam

Lecture 21: Combinational Circuits. Integrated Circuits. Integrated Circuits, cont. Integrated Circuits Combinational Circuits

Unit-IV Boolean Algebra

Basic characteristics & features of 8086 Microprocessor Dr. M. Hebaishy

On-Line Error Detecting Constant Delay Adder

Basic Arithmetic (adding and subtracting)

Chapter 3. Boolean Algebra and Digital Logic

CS8803: Advanced Digital Design for Embedded Hardware

FAULT TOLERANT SYSTEMS

CSCI 220: Computer Architecture I Instructor: Pranava K. Jha. Simplification of Boolean Functions using a Karnaugh Map

Intel 8086 MICROPROCESSOR ARCHITECTURE

Overview ECE 753: FAULT-TOLERANT COMPUTING 1/21/2014. Recap. Fault Modeling. Fault Modeling (contd.) Fault Modeling (contd.)

Boolean Unit (The obvious way)

Binary Multiplication

Arithmetic Logic Unit. Digital Computer Design

Fault Tolerance in Distributed Systems: An Introduction

Single Event Upset Mitigation Techniques for SRAM-based FPGAs

Self-Checking Fault Detection using Discrepancy Mirrors

Self-checking combination and sequential networks design

FAULT TOLERANT SYSTEMS

CPS 104 Computer Organization and Programming

Fault Tolerance & Reliability CDA Chapter 2 Additional Interesting Codes

CS/MA 109 Fall Wayne Snyder Computer Science Department Boston University

Origins of Stuck-Faults. Combinational Automatic Test-Pattern Generation (ATPG) Basics. Functional vs. Structural ATPG.

R a) Simplify the logic functions from binary to seven segment display code converter (8M) b) Simplify the following using Tabular method

Code No: R Set No. 1

Lecture 7: Instruction Set Architectures - IV

From last time to this time

1. Boolean algebra. [6] 2. Constructing a circuit. [4] 3. Number representation [4] 4. Adders [4] 5. ALU [2] 6. Software [4]

Lecture 6: Signed Numbers & Arithmetic Circuits. BCD (Binary Coded Decimal) Points Addressed in this Lecture

EC500. Design of Secure and Reliable Hardware. Lecture 1 & 2

Assembly Language. Lecture 2 x86 Processor Architecture

Fault Tolerance in Distributed Systems: An Introduction

Intel 8086 MICROPROCESSOR. By Y V S Murthy

1. Fill in the entries in the truth table below to specify the logic function described by the expression, AB AC A B C Z

BUILDING BLOCKS OF A BASIC MICROPROCESSOR. Part 1 PowerPoint Format of Lecture 3 of Book

Machine Language and Assembly Language

Let s put together a Manual Processor

VLSI Test Technology and Reliability (ET4076)

ENEE x Digital Logic Design. Lecture 3

Computer Architecture

The von Neumann Architecture. IT 3123 Hardware and Software Concepts. The Instruction Cycle. Registers. LMC Executes a Store.

Chapter 4. The Processor

COMPUTER NETWORKS UNIT I. 1. What are the three criteria necessary for an effective and efficient networks?

Number Systems and Computer Arithmetic

Assignment (3-6) Boolean Algebra and Logic Simplification - General Questions

CISC Processor Design

Code No: 07A3EC03 Set No. 1

Distributed Systems 24. Fault Tolerance

Fault-Tolerant Computing

Lecture 5:8086 Outline: 1. introduction 2. execution unit 3. bus interface unit

Distributed Systems COMP 212. Lecture 19 Othon Michail

ENEL 353: Digital Circuits Midterm Examination

The x86 Microprocessors. Introduction. The 80x86 Microprocessors. 1.1 Assembly Language

CONTENTS CHAPTER 1: NUMBER SYSTEM. Foreword...(vii) Preface... (ix) Acknowledgement... (xi) About the Author...(xxiii)

CPU Design John D. Carpinelli, All Rights Reserved 1

FAULT TOLERANT SYSTEMS

DIAGNOSIS AND ERROR CORRECTION FOR A FAULT-TOLERANT ARITHMETIC AND LOGIC UNIT FOR MEDICAL MICROPROCESSORS

UNIT- V COMBINATIONAL LOGIC DESIGN

UNIT-II. Part-2: CENTRAL PROCESSING UNIT

Chapter 5: Computer Arithmetic. In this chapter you will learn about:

Synthesis 1. 1 Figures in this chapter taken from S. H. Gerez, Algorithms for VLSI Design Automation, Wiley, Typeset by FoilTEX 1

Last Name Student Number. Last Name Student Number

DESIGN AND ANALYSIS OF SOFTWARE FAULTTOLERANT TECHNIQUES FOR SOFTCORE PROCESSORS IN RELIABLE SRAM-BASED FPGA

CS 43: Computer Networks. 16: Reliable Data Transfer October 8, 2018

Learning Objectives. Binary over Decimal. In this chapter you will learn about:

Lab 7: RPN Calculator

Department of Electrical and Computer Engineering University of Wisconsin - Madison. ECE/CS 352 Digital System Fundamentals.

Chapter 3. Gate-Level Minimization. Outlines

SIR C.R.REDDY COLLEGE OF ENGINEERING, ELURU DEPARTMENT OF INFORMATION TECHNOLOGY LESSON PLAN

Logic Design: Part 2

Arithmetic Circuits. Nurul Hazlina Adder 2. Multiplier 3. Arithmetic Logic Unit (ALU) 4. HDL for Arithmetic Circuit

X Y Z F=X+Y+Z

A FAST PIPELINED COMPLEX MULTIPLIER: THE FAULT TOLERANCE ISSUES

Systems Programming. Lecture 2 Review of Computer Architecture I

LECTURE 4. Logic Design

Combinational Logic Circuits

EEE130 Digital Electronics I Lecture #4_1

DESIGN AND SIMULATION OF 1 BIT ARITHMETIC LOGIC UNIT DESIGN USING PASS-TRANSISTOR LOGIC FAMILIES

ENGIN 112 Intro to Electrical and Computer Engineering

Lecture 5. Homework 2 posted, due September 15. Reminder: Homework 1 due today. Questions? Thursday, September 8 CS 475 Networks - Lecture 5 1

Chapter 4. The Processor

Transcription:

redundancy redundancy Both hardware and information redundancy can require large amount of extra hardware time redundancy attempt to reduce the amount of extra hardware at the expense of additional time in many applications time is less important than hardware p. 2 - Design of Fault Tolerant Systems - Elena Dubrova, ESDlab

Transient fault detection Transient faults can be detected by repeating computation several times t t + t t +n t data data data compute compute... compute store store store compare error p. 3 - Design of Fault Tolerant Systems - Elena Dubrova, ESDlab Distinguishing b/w transient and permanent faults redundancy can be used to distinguish between transient and permanent faults: re-compute after the detection of the first fault if fault disappears, then it was transient if not, the fault is permanent, remove the faulty part of the system Saves resources p. 4 - Design of Fault Tolerant Systems - Elena Dubrova, ESDlab

Permanent fault detection Permanent faults can be detected by repeating computation several times using different coding schemes (+) minimum extra hardware is used p. 5 - Design of Fault Tolerant Systems - Elena Dubrova, ESDlab Permanent fault detection scheme t data X compute store error compare t + t data X encode e(x) R compute decode - e (R) store p. 6 - Design of Fault Tolerant Systems - Elena Dubrova, ESDlab

Coding schemes Four different approaches to coding: alternating logic recomputing with shifted operands recomputing with swapped operands recomputing with duplication and comparison p. 7 - Design of Fault Tolerant Systems - Elena Dubrova, ESDlab Alternating logic At time t, use the original data At time t + t, use the complement of the data 2 applications: transmition of digital data over wire media fault detection in digital circuits Suitable for stuck-at type fault detection p. 8 - Design of Fault Tolerant Systems - Elena Dubrova, ESDlab

Alternating logic time redundancy t + t t t r a n s m i t t e r Faulty line always r e c e I v e r Faulty line causes both, data and complement, to become. p. 9 - Design of Fault Tolerant Systems - Elena Dubrova, ESDlab Duality Alternating logic concept can be used for detecting fault in logic circuits which implement self-dual functions A dual of a function f is defined as f d (x,x 2,,x n ) = f (x,x 2,,x n ) If the input (x,x 2,,x n ) is applied to the circuit computing f and (x,x 2,,x n ) is applied to the circuit computing f d, then the outputs will be complementary p. - Design of Fault Tolerant Systems - Elena Dubrova, ESDlab

Computing dual function () Dual of f can be obtained as follows: replace AND with OR, and OR with AND replace with, and with f = x x 2 + x 3 f d = (x + x 2 ) x 3 p. - Design of Fault Tolerant Systems - Elena Dubrova, ESDlab Computing dual function (2) We can also compute a dual of f by complementing f replacing each variable by its complement f = x x 2 + x 3 f = (x + x 2 ). x 3 f d = (x + x 2 ). x 3 p. 2 - Design of Fault Tolerant Systems - Elena Dubrova, ESDlab

Example a b c d a b f f d f =ab + cd f d = (a+b)(c+d) error if c d p. 3 - Design of Fault Tolerant Systems - Elena Dubrova, ESDlab Self- duality A function is self-dual if f d = f For example, sum and carry are self-dual x x 2 x 3 f sum f carry_out functions p. 4 - Design of Fault Tolerant Systems - Elena Dubrova, ESDlab

Self- duality For a circuit implementing a self-dual function, if the application of an input assignment (x,x 2,,x n ) followed by the input assignment (x,x 2,,x n ) produces output values which are equal, then the circuit has a fault p. 5 - Design of Fault Tolerant Systems - Elena Dubrova, ESDlab Recomputing with shifted operands At time t, use the original data At time t + t, encode using left shift and decode using right shift Suitable for fault detection in ALUs with bit-sliced organization p. 6 - Design of Fault Tolerant Systems - Elena Dubrova, ESDlab

Recomputing with shifted operands Basic principle during first computation, ith bit is erroneus during second computation, (i-)th bit will be affected because of the left shift after the right shift, the s will disagree in both, ith and (i-)th bits An extra bit is required for left shift p. 7 - Design of Fault Tolerant Systems - Elena Dubrova, ESDlab Recomputing with shifted operands t Left sifted operation a time t + t operand operand after left shift Error in ith bit Error in ith bit after right shift By comparing both s, the error will be detected Error in i-th bit p. 8 - Design of Fault Tolerant Systems - Elena Dubrova, ESDlab

Recomputing with swapped operands At time t, use the original data At time t + t, swap the upper and lower halves of the operands Suitable for fault detection in ALUs with bit-sliced organization p. 9 - Design of Fault Tolerant Systems - Elena Dubrova, ESDlab Recomputing with swapped operands t t + t operands AH AL AL AH BH BL BL BH RH RL RL RH Faulty bit slice Faulty bit slice By comparing upper and lower halves of both s, the error will be detected p. 2 - Design of Fault Tolerant Systems - Elena Dubrova, ESDlab

Recomputing with duplication and comparison At time t, perform operation on duplicated lower halves of the operands compare s and, if agree, store one to represent the lower half of the final output At time t + t, perform operation on duplicated upper halves of the operands compare s and, if agree, store one to represent the upper half of the final output p. 2 - Design of Fault Tolerant Systems - Elena Dubrova, ESDlab Recomputing with dublication and comparison t t + t operands AL AL AH AH BL BL BH BH RL RL RH RH compare compare By comparing two halves of the, the error will be detected p. 22 - Design of Fault Tolerant Systems - Elena Dubrova, ESDlab

redundancy for error correction redundancy can provide error correction if the computations are repeated 3 or more times p. 23 - Design of Fault Tolerant Systems - Elena Dubrova, ESDlab Software redundancy Next lecture Read chapter 7 of the text book p. 24 - Design of Fault Tolerant Systems - Elena Dubrova, ESDlab