Testing17.pdf

14
Feb 29, 2008 E0-286@SERC 1 VLSI Testing Scan Design VLSI Testing Scan Design Virendra Singh Indian Institute of Science (IISc) Bangalore [email protected] E0-286: Testing and Verification of SoC Design Lecture – 17

Transcript of Testing17.pdf

Page 1: Testing17.pdf

Feb 29, 2008 E0-286@SERC 1

VLSI Testing Scan Design

VLSI Testing Scan Design

Virendra SinghIndian Institute of Science (IISc)

[email protected]

E0-286: Testing and Verification of SoC Design

Lecture – 17

Page 2: Testing17.pdf

Feb 29, 2008 E0-286@SERC 2

Partial-Scan DefinitionPartial-Scan DefinitionA subset of flip-flops is scanned.Objectives: Minimize area overhead and scan sequence length,

yet achieve required fault coverage Exclude selected flip-flops from scan:

Improve performanceAllow limited scan design rule violations

Allow automation:In scan flip-flop selectionIn test generation

Shorter scan sequences

Page 3: Testing17.pdf

Feb 29, 2008 E0-286@SERC 3

Partial-Scan ArchitecturePartial-Scan Architecture

FF

FF

SFF

SFF

Combinationalcircuit

PI PO

CK1

CK2 SCANOUT

SCANIN

TC

Page 4: Testing17.pdf

Feb 29, 2008 E0-286@SERC 4

Relevant ResultsRelevant ResultsTheorem1: A cycle-free circuit is always initializable. It is also initializable in the presence of any non-flip-flop fault.Theorem 2: Any non-flip-flop fault in a cycle-free circuit can be detected by at most dseq + 1 vectors.ATPG complexity: To determine that a fault is untestable in a cyclic circuit, an ATPG program using nine-valued logic may have to analyze 9Nff

time-frames, where Nff is the number of flip-flops in the circuit. Whereas a cycle-free circuit needs dseq + 1 time frames.

Page 5: Testing17.pdf

Feb 29, 2008 E0-286@SERC 5

A Partial-Scan MethodA Partial-Scan Method

Select a minimal set of flip-flops for scan to eliminate all cycles.Alternatively, to keep the overhead low only long cycles may be eliminated.In some circuits with a large number of self-loops, all cycles other than self-loops may be eliminated.

Page 6: Testing17.pdf

Feb 29, 2008 E0-286@SERC 6

The MFVS ProblemThe MFVS ProblemFor a directed graph find a set of vertices with smallest cardinality such that the deletion of this vertex-set makes the graph acyclic.The minimum feedback vertex set (MFVS) problem is NP-complete; practical solutions use heuristics.A secondary objective of minimizing the depth of acyclic graph is useful.

1 2

3

4 5 6L=3

1 2

3

4 5 6L=2L=1

s-graphA 6-flip-flop circuit

Page 7: Testing17.pdf

Feb 29, 2008 E0-286@SERC 7

Test GenerationTest GenerationScan and non-scan flip-flops are controlled from separate clock PIs:

Normal mode – Both clocks activeScan mode – Only scan clock active

Seq. ATPG model:Scan flip-flops replaced by PI and POSeq. ATPG program used for test generationScan register test sequence, 001100…, of length nsff + 4applied in the scan modeEach ATPG vector is preceded by a scan-in sequence to set scan flip-flop statesA scan-out sequence is added at the end of each vector sequence

Test length = (nATPG + 2) nsff + nATPG + 4 clocks

Page 8: Testing17.pdf

Feb 29, 2008 E0-286@SERC 8

Partial ScanPartial Scan

C1

C3

C2

C4

R1

R6

R2

R5

R4

R3

Page 9: Testing17.pdf

Feb 29, 2008 E0-286@SERC 9

Partial ScanPartial Scan

C1

C3

C2

C4

R1

R6

R2

R5

R4

R3

Page 10: Testing17.pdf

Feb 29, 2008 E0-286@SERC 10

Partial ScanPartial Scan

C1

C3

C2

C4

R1

R6

R2

R5

R4

R3

Page 11: Testing17.pdf

Feb 29, 2008 E0-286@SERC 11

Partial Scan ExamplePartial Scan Example

Circuit: TLC355 gates21 flip-flops

Scan Max. cycle Depth* ATPG Fault sim. Fault ATPG Test seq.flip-flops length CPU s CPU s cov. vectors length

0 4 14 1,247 61 89.01% 805 805

4 2 10 157 11 95.90% 247 1,249

9 1 5 32 4 99.20% 136 1,382

10 1 3 13 4 100.00% 112 1,256

21 0 0 2 2 100.00% 52 1,190

* Cyclic paths ignored

Page 12: Testing17.pdf

Feb 29, 2008 E0-286@SERC 12

Partial vs. Full Scan S5378

Partial vs. Full Scan S5378

Original

2,781179

0

0.0%4,60335/49

70.0%70.9%

5,533 s

414414

Full-scan

2,7810

179

15.66%4,603

214/22899.1%

100.0%5 s

585105,662

Number of combinational gatesNumber of non-scan flip-flops

(10 gates each)Number of scan flip-flops

(14 gates each)Gate overheadNumber of faultsPI/PO for ATPGFault coverageFault efficiencyCPU time on SUN Ultra II

200MHz processorNumber of ATPG vectorsScan sequence length

Partial-scan

2,781149

30

2.63%4,60365/79

93.7%99.5%727 s

1,11734,691

Page 13: Testing17.pdf

Feb 29, 2008 E0-286@SERC 13

No Serial Scan (???) A solution to test power, test time and test

data volume

No Serial Scan (???) A solution to test power, test time and test

data volumeThree Problems with serial-scan

Test power Test application time Test data volume

Efforts and limitations ATPG for low test power consumption

Test power ↓ Test length ↑ Reducing scan clock frequency

Test power ↓ Test application time ↑ Scan-chain re-ordering (with additional logic insertion)

Test power/time ↓ Design time ↑ Test Compression

Test time/data size ↓ Has limited capability for Compacted test

Orthogonal attack Random access scan instead of Serial-scan Hardware overhead? Silicon cost << Testing cost

Page 14: Testing17.pdf

Feb 29, 2008 E0-286@SERC 14

Thank YouThank You