Logic BIST. Sungho Kang Yonsei University

Transcription

1 Logic BIST Sungho Kang Yonsei University

2 Outline Introduction Basics Issues Weighted Random Pattern Generation BIST Architectures Deterministic BIST Conclusion 2

3 Built In Self Test Test/ Normal Input Pattern Generation (random pattern) BIST Controller Output Response Monitor Output MUX Circuit under Test Test patterns are generated on-chip Responses to the test patterns are also evaluated on chip External operations are required only to initialize the built-in tests and to check the test results (go/no-go) 3

4 Constraints of BIST Initial design investment Area overhead Pin overhead Performance overhead Fault coverage Aliasing problem 4

5 Test Pattern Generation Stored Pattern Exhaustive Pattern Pseudo Exhaustive Pattern Pseudo Random Pattern Weighted Random Pattern 5

6 Combinational Circuit Classification Partial Dependence Circuit (PDC) No output depends on all inputs Exhaustive test if possible Else output verification test Else segment verification Full Dependence Circuit (FDC) Some output depends on all inputs Exhaustive test if possible Else segment verification 6

7 PDC Example Example circuit a b c d e f g C* f 1 (a,b,e) f 2 (b,c,g) f 3 (a,d,e) f 4 (c,d,e) f 5 (e,f) Dependency matrix Dij = 1 if output I depends on input j ; otherwise Dij=0 D = a b c d e f g f f f f f 5 7

8 PDC Example Reordering and grouping the inputs produce the following modified matrix Group D g = a c b d e f g f 1 f 2 f 3 f 4 f 5 8

9 PDC Example In each group there must be less than two 1s in each row and the number of groups should be minimal This insures that no output is driven by more than one input from each group Finding such a partition is NP-complete ORing each row within a group to form a single column D c = f f 2 f f f 5 9

10 PDC Example p=4 and w=3 odd parity A B C D Pseudo exhaustive test set consists of 8 patterns instead of 128 Among 4 groups, 8 patterns using any 3 inputs are necessary 10

11 Segment Verification Segmentation testing via path sensitization Sensitized path is established from C to F Use 2 n1 +2 n2 patterns instead of 2 n1+n2 patterns A n1 C 1 C F B n2 C 2 D 11

12 Linear Feedback Shift Register The state of shift register depends only on the prior state D Q Next State Current State c 1 c 1 c 2 c n-1 D Q D Q D Q Q 1 Q 2 Q 3 Q n a -1 a -2 a -n+1 a -n a m a m-1 a m-2 a m-n+1 a m-n c n = 1 c n = 1 c 1 c c 2 n-1 D Q D Q Q 1 Q 2 Q 3 Q n D Q D Q Current State a m-1 a m-2 a m-n 12

13 Linear Feedback Shift Register Pseudo Random Pattern Generation Characteristic Polynomial : 1+x 2 +x 3 Initial condition (1,0,0) : x Q1 : x / (1+x 2 +x 3 ) Q2 : x 2 / (1+x 2 +x 3 ) Q3 : x 3 / (1+x 2 +x 3 ) 13

14 LFSR : 1+x 2 +x 3 When initial state is 100 Q1 Q2 Q

15 Linear Feedback Shift Register When initial state is 000 Q1 Q2 Q

16 Weighed Random Patterns All patterns not equally likely Pseudo random test patterns are inefficient when random-pattern-resistant faults exist. Make Prob[1] Prob[0] at pattern sources Random resistant faults Consider a 32 input AND and output s-a-1 fault The output s-a-0 is detected when all inputs are 1 When pseudo random testing is used, the detection probability is 1/2 32 L F S n Weight Computation Circuit m Circuit under Test R 16

17 Weight Generation Methods Structural analysis Small number of patterns and weight sets Easy implementation Poor fault coverage Deterministic test sets All non-redundant faults can be detected A high number of random patterns and weights Large hardware overhead Combined both methods 17

18 Multiple Weight Sets Consider AND output s-a-1 and OR output s-a-0 If the same weights are applied, one of two faults are hard to detect. Necessary to have 2 different weight sets (1/2 32, 1-1/ 2 32 ) (1-1/ 2 32, 1/ 2 32 ) The efficiency of multiple weight set is determined by both the number of weight sets (r), and the total number of random test patterns to be applied (N). The goal of weight generation is to reduce both r and N I1 I2 I3 I4 AND OR 18

19 Multiple Weight Sets Single weight set Advantage Small hardware overhead Disadvantages Low fault coverage Long test pattern length Multiple weight sets Advantages High fault coverage Short test pattern length Disadvantages Large hardware overhead 19

20 Response Analysis Signature : output of the compactor Aliasing A faulty circuit produces a signature that is identical to the signature of a fault free circuit Input Test Sequence T Circuit Under Test (CUT) Output Response Sequence R' Data Compression Unit Signature S(R') Correct Signature S(R 0 ) Comparator Error Indicator 20

21 Signature Analysis Initial Value : 000 Good Good Faulty Faulty Patterns Responses Patterns Responses Z1 Z2 Z3 Q1 Q2 Q3 Z1 Z2 Z3 Q1 Q2 Q

22 Aliasing Initial Value : 000 Good Good Faulty Faulty Patterns Responses Patterns Responses Z1 Z2 Z3 Q1 Q2 Q3 Z1 Z2 Z3 Q1 Q2 Q

23 MISR Normally, a single input signature analyzer is not used due to testing overhead Aliasing Probability : 1/2 n All error patterns are equally likely D 1 D 2 D 3 D n D Q D Q D Q D Q D 1 c n c n-1 c n-2 c 1 23

24 Test-per-Clock Test patterns are applied to CUT every clock cycle Additional logic and delay are required between the input FF and CUT BILBO like type: Cannot perform compression and pattern generation concurrently Entire test is scheduled and divided into sessions Complex test control unit is required 24

25 Test-per-Scan LFSR is used to serially shift in a sequence of bits into the scan chain No additional logic is inserted between the scan FF and CUT Testing time is increased considerably for long scan chain STUMP like type : Control unit does not need to distinguish between different test sessions It must count the patterns and bits 25

26 STUMPS S i P R P G S o External logic PIs Scan path Scan path CUT (S) Scan path POs External logic S i ' M I S R S o ' Self Testing Using MISR and Parallel SRSG Centralized and separate BIST Multiple scan paths Reduction in test time Lower overhead than BILBO but takes longer to apply 26

27 BILBO(Built-In Logic Block Observer) B1 B2 Mode 1 1 Normal Mode 0 1 Reset 0 0 Shift Register 1 0 Signature Analyzer Z 1 Z 2 Z n B 1 B 2 S i 0 1 M U X D Q Q D Q Q D Q Q D Q Q S 0 Q 1 Q 2 Q n-1 Q n 27

28 BILBO To test A R1 : RPG R2 : Signature Analyzer To test B R2 : RPG R1 : Signature Analyzer Register 1 Combinational Circuit A Register 2 Combinational Circuit B 28

29 Test Schedule Test session An assignment of test modes to BILBO registers to test one or more blocks Test scheduling problem Determine the minimal number of test sessions required to test all blocks of combinational logic Determine the minimal colors that can be assigned to the nodes of a graph such that no edge connects two nodes of the same color More complex when the test time for each block is considered 29

30 Phase Shift BIST L F S R Primary Inputs P S to C.P.'s Nearly Acyclic Circuit from O.P.'s S C s Primary Outputs M I S R Test Pattern Generator Circuit Under Test Output Data Compactor C.P.'s : Control Points O.P.'s : Observation Points 30

31 Multiple Seed LFSR Method of Encoding deterministic pattern to each seed Each seed is an encoded deterministic pattern Long LFSRs may be required for circuits with a large number of specified bits in each pattern Methods of Calculating BIST Seeds Using hard fault identification and ordering Deterministic test cube compression : Iterative merging compatible cubes Fast simulation based procedure Seed ROM Seed0 Seed1 Seed2 LFSR v v v v Test clock BIST Controller CUT MISR 31

32 Non-LFSR PRPG Johnson counter(twisted-ring Counter) TRC is designed by adding a MUX and an inverter to the serial input of the scan register If TRC s length n is a power of 2, then for any initial state, the TRC will always cycle through 2n distinct states To generate various patterns, reseeding method is adopted Can apply both test-per-clock and scan-bist architectures ROM counter ROM MUX 00 SCAN enable Input scan register Enable CUT Log 2 n bit binary counter k 2bit binary counter Response analyzer 32

33 Bit Fixing/Bit Flipping Most of these methods are applied to test-per-scan architecture Bit fixing experiment results High fault coverage with practical test application time Since the number of bits required to be fixed is often high, the combinational logic overhead required may be substantial Bit flipping experiment results Mapping logic generally requires lower overhead Overall pattern generation overhead can still be high because of the large external LFSR t 0 t 1... t L-1 s 0 s 1... s n-1... Bit Flipping Circuit Scan chain Sequential CUT Signature Analyzer 33

34 Embedding Deterministic Patterns Only scan-bist Modify the random sequence at a few bit positions Complete fault coverage Generated patterns depends on the state of the test control unit LFSR can be very small Area overhead is smaller than that of the 32-bit LFSR for ISCAS85 and ISCAS89 benchmark circuits Automatic synthesis procedure is possible Pattern counter p 0 p 1... BIST Control b 0 b 1... Bit counter Scan chain Short LFSR s 0 s 1... s n-1... Sequence Modifying Circuit Sequential CUT Signature Analyzer 34

35 BIST Using Core Functions Hardware overhead low and no performance degrading Processor emulates an LFSR base pseudo random test first, and after that it emulates the reseeding scheme Most of accumulator based pattern generation by simple adders, subtractors, or MAC circuits All of them generate pseudo random, or pseudo exhaustive patterns with a similar quality as LFSRs do Only one accumulator based deterministic BIST In adder based accumulator based structure, deterministic pattern generated by reseeding scheme Test response compaction Aliasing probabilities same as that of LFSR based signature analysis Method of core functions randomizing 35

36 LT-RTPG Low transition Possible decrease in fault coverage due to low toggle probability Use non-adjacent inputs for neighboring positions on the scan chain No decrease in fault coverage Good for a circuit with a large number of primary and state inputs k T FF S in Scan Chain m S out LFSR CUT r LT-RTPG 36

37 BIST Issues Test point insertion is necessary for many circuits Suppressing X generators Non-scan FF, Memory, Combinational loop, Undriven PIs, Bus contention, Violation on a wire gate Bounding X generators and making detour through space compactors On-line BIST for intermittent faults and transient faults Two-pattern generator and compactor for delay faults Hardware sharing between MBIST and LBIST Multiphase-clock, multi-clock generation Design specific BIST Pattern generator compatible with both test-per-clock and test-per-scan architecture BIST supporting partial scanned circuits 37

38 Conclusion In BIST, the test pattern generation and the output response evaluation are done on chip Requirements of a BIST scheme Easy implementation Small area overhead High fault coverage 38