Detecting Errors Using Multi-Cycle Invariance Information Nuno Alves, Jennifer Dworak, and R. Iris...

Detecting Errors Using Multi-Cycle Detecting Errors Using Multi-Cycle Invariance InformationInvariance Information

Nuno Alves, Jennifer Dworak, and R. Iris Bahar

Division of Engineering Brown University

Providence, RI 02912

Kundan Nepal

Electrical Engineering Dept.Bucknell University

Lewisburg, PA 17837

Design, Automation, and Test in Europe, April 20-24, 2009

MotivationMotivation

Errors in ICs are increasingErrors in ICs are increasing– Particle strikes, temperature, power, noise, Particle strikes, temperature, power, noise,

process variations, test escapes, etc.process variations, test escapes, etc.

Previously, we have proposed using Previously, we have proposed using logic logic implicationsimplications for online error detection during a for online error detection during a single clock cyclesingle clock cycle

What happens if we consider implications across time cycles?

OutlineOutline

Introduction & BackgroundIntroduction & Background

Logic Implications for Error DetectionLogic Implications for Error Detection

Multi-Cycle ImplicationsMulti-Cycle Implications

Experimental ResultsExperimental Results

ConclusionsConclusions

OutlineOutline

Other WorkOther Work

Triple Modular RedundancyTriple Modular RedundancyLogic DuplicationLogic DuplicationRe-Execution in Multiple ThreadsRe-Execution in Multiple ThreadsCodes (Parity, Berger, Bose Lin, etc.)Codes (Parity, Berger, Bose Lin, etc.)High Level Fault AssertionsHigh Level Fault AssertionsFault MaskingFault MaskingChecking the Outputs Against a Subset of Checking the Outputs Against a Subset of the Truth Tablethe Truth Table

Our ApproachOur Approach

Find natural expected relationships and Find natural expected relationships and check for their violation.check for their violation.

Water should be blue….

Not brown…

In circuits, expected relationships at the gate level consist of logic implications.

OutlineOutline

Implications Naturally Occur in CircuitsImplications Naturally Occur in Circuits

n5 = 1 → n8 = 0

Implication Violations Can Be Used Implication Violations Can Be Used to Detect Errorsto Detect Errors

n5=1 n8=0

Appropriate checker logic can detect multiple errors with a single implication.

Implication Violations Can Be Used Implication Violations Can Be Used to Detect Errorsto Detect Errors

n5=1 n8=0

Appropriate checker logic can detect multiple errors with a single implication.

sa1sa1sa1

sa1sa1

sa1sa1sa1

Total Number of Implications With Distance 2 or Greater

100000

Circuit

So….what’s the problem?So….what’s the problem?

We have too many implications!We have too many implications!

How do we efficiently find them and which ones should we use?

Implication AlgorithmImplication AlgorithmGate-level implications can be found automatically

…without functional knowledge of the circuit.

StartIdentify Potential

Implications w/ Simulation

Verify Implications

Eliminate Subsumed Implications

Determine Coverage of Remaining Implications

Select Best Subset for Target Error Detection

and OverheadEnd

What determines which faults an What determines which faults an implication may cover?implication may cover?

Potential Spatial Fault CoveragePotential Spatial Fault Coverage

Each implication can only cover a limited area of the Each implication can only cover a limited area of the circuit….circuit….

Direct Path

P=0 → Q=0

Faults along the path may be detected

P=1 → Q=1

Faults along reconverging paths may be detected

Reconvergent Fanout

Divergent Fanout

Q=0 → P=0

Faults along paths to common ancestors may

be detected

Implications cannot cover any Implications cannot cover any sites sites downstreamdownstream of both of both

implication points!implication points!

Limitations of Single-Cycle Limitations of Single-Cycle ImplicationsImplications

Implications may not exist to cover faults Implications may not exist to cover faults far downstream—e.g. close to:far downstream—e.g. close to:– Flip-flopsFlip-flops– Primary OutputsPrimary Outputs

It is possible for no useful implications to It is possible for no useful implications to exist in a single cycleexist in a single cycle

Optimal timing of capture is difficultOptimal timing of capture is difficult

Many of these issues are alleviated if we consider multi-cycle implications

OutlineOutline

Sequential Circuit Containing No Non-Trivial

Implications in Combinational Logic

Time Frame Expansion B1

Cycle t1 Cycle t2

Logic Value in First Clock Cycle Implies a Value at a Different Site

in the Second Clock Cycle

B1 = 0 → F2 = 0

Multi-Cycle Checker HardwareMulti-Cycle Checker Hardware

Cycle t1 Cycle t2

B1 = 0 → F2 = 0

violation

Checker hardware requires state to be held between first and second cycle….

Spatial Coverage of Multi-Cycle Spatial Coverage of Multi-Cycle ImplicationsImplications

Good spatial coverage can be achieved near flip-flopsGood spatial coverage can be achieved near flip-flops

Logical distance may increase between implication sitesLogical distance may increase between implication sites

Delays captured at flip-flops in cycle t can be detected Delays captured at flip-flops in cycle t can be detected without complex timingwithout complex timing

Cycle t Cycle t + 1

Advantages:

OutlineOutline

Experimental SetupExperimental Setup

ISCAS ’89 benchmark circuitsISCAS ’89 benchmark circuitsZchaff SAT solver to validate implicationsZchaff SAT solver to validate implicationsThree sets of implications per circuitThree sets of implications per circuit– First cycle First cycle

Both implication sites in cycle 1Both implication sites in cycle 1Obtained with single cycle analysis & unrestricted inputsObtained with single cycle analysis & unrestricted inputs

– Second cycle Second cycle Both implication sites in cycle 2Both implication sites in cycle 2Obtained with time frame expansionObtained with time frame expansion

– Cross cycle Cross cycle One site per cycleOne site per cycleObtained with time frame expansionObtained with time frame expansion

So, how many implications exist?So, how many implications exist?

Number of Implications in Each Class

Circuit

1st cyclecross-cycle2nd cycle only

What is the distance between What is the distance between implication sites?implication sites?

Average Implication Distance for Single and Between Cycle Implications

Circuit

Average single cycledistanceAverage cross-cycledistance

How do the different How do the different implication classes compare implication classes compare

for error detection (if we use for error detection (if we use allall possiblepossible implications)? implications)?

Contribution of Different Implication Classes to Error Detection

s298 s420 s444 s510 s713 s953 s1196 s1488Circuit

age 1st cycle

1st and 2nd cycle cross cycleall

Developing a Compressed Developing a Compressed Implication SetImplication Set

Choose next fault in fault list

Find implication with best coverage of this fault

Add best implication to compressed list

Any more faults?Return

implication listEnd

Yes No

Number of Compressed Implications

s298 s420 s444 s510 s713 s953 s1196 s1488

Circuit

ber 1st cycle

cross-cycle2nd cycle only

What if we further tradeoff What if we further tradeoff error coverage for reduced error coverage for reduced

area overhead?area overhead?

Average Error Coverage Acheived for Different Area Thresholds

s298 s420 s444 s510 s713 s953 s1196 s1488Circuit

10%20%30%40%50%CompressedAll

Percentage of Cross-Cycle Implications Chosen for Different Area Overheads

100.00

s298 s420 s444 s510 s713 s953 s1196 s1488

Circuit

10%50%

OutlineOutline

Implications can be used to effectively detect Implications can be used to effectively detect many errors at runtimemany errors at runtime– Without requiring functional knowledge of the circuitWithout requiring functional knowledge of the circuit– Allowing tradeoffs to be made between error Allowing tradeoffs to be made between error

coverage and overheadcoverage and overhead

Cross-cycle implications cover faults that cannot Cross-cycle implications cover faults that cannot be covered by single cycle implicationsbe covered by single cycle implications

Even though they have larger overhead, cross Even though they have larger overhead, cross cycle implications are often an “optimal” choicecycle implications are often an “optimal” choice

When optimizing for low area overhead, more than 85% of the implications may be cross cycle

For Inquiring Minds

Verify Implications

and OverheadEnd

Run Good Circuit Simulation with Random Vectors and

Monitor Site Values…

0000 0101 1010 1111

A,BA,B

A,CA,C

A,DA,D

A=0 → C = 0

Verify Implications

and OverheadEnd

Using a SAT solver

(such as Zchaff)

Verify Implications

and OverheadEnd

n10 = 0 → n13 = 0

n4 = 1 → n8 = 0

Verify Implications

and OverheadEnd

Of all the patterns that will allow a fault to produce an

error at an output, how many will each implication

detect?

Verify Implications

and OverheadEnd

Detecting Errors Using Multi-Cycle Invariance Information Nuno Alves, Jennifer Dworak, and R. Iris...

Documents

Bahar sanat presentation

BAHAR E RAHMAT

Nuno Valverde - EDP

Bahar v Sanieoff

Nuno Godinho

Dworak- La Regulación de Cabildeo

Diploma NUNO CÁCERES

Bahar-e-Shariat (Part 5)

Bahar-Insurance Law 1961

Bir Dalda İki Bahar

NEMATODES-2- Doç.Dr.Hrisi BAHAR. Hookworms of medical importance & Trichinella spiralis Filarial worms W.bancroftii Doç.Dr.Hrisi BAHAR

LAPORAN WELLTEST BAHAR FIX.docx

Trab indiv nuno

Bahar E Shariat Eng

500px - Nuno Silva

Email and Electronic Records Retention: IT Requirements Paul Dworak Office of Compliance dworak@unt.edu 565-4906

Healing Power of Positive Thinking - USC Suzanne Dworak

Al Bahar Towers

Nuno Ramos - O

Mary Bahar