Sequential Circuit BIST Synthesis using Spectrum and Noise from ATPG Patterns

advertisement
Sequential Circuit BIST Synthesis
using Spectrum and Noise
from ATPG Patterns
Nitin Yogi and Vishwani D. Agrawal
Auburn University
Auburn, AL 36849
1
BIST Methods

Scan-based testing

Advantages:


Disadvantages:


High fault coverage
Area & delay overhead, yield loss, large vector size and
testing times
Non-scan based testing

Advantages:


Disadvantages of scan-based testing eliminated
Disadvantages:

Requires sequential ATPG


High test generation complexity and low fault coverages

Alleviated using DFT schemes
Nontrivial vector generation in BIST environment
Problem
definition
2
Proposed Method

Step 1: Spectral Analysis



ATPG vectors analyzed in the spectral domain
Prominent spectral components chosen for BIST
implementation
Step 2: BIST implementation

Prominent spectral components combined to
generate ATPG-like vectors.
3
Spectral Characterization of Bit-Streams
w0
Walsh functions (order 8)
w1
w2
• Walsh functions: a complete
orthogonal set of basis functions that can
represent any arbitrary bit-stream.
• Walsh functions form the rows of a
Hadamard matrix.
w3
H8 = 1 1 1 1 1 1 1 1
1 -1 1 -1 1 -1 1 -1
1 1 -1 -1 1 1 -1 -1
1 -1 -1 1 1 -1 -1 1
1 1 1 1 -1 -1 -1 -1
1 -1 1 -1 -1 1 -1 1
1 1 -1 -1 -1 -1 1 1
1 -1 -1 1 -1 1 1 -1
w4
w5
w6
w7
time
Example of Hadamard matrix
of order 8
4
.
.
.
Input 2
Input 1
Analyzing Bit-Streams of ATPG vectors
Vector 1
Vector 2
.
.
.
Spectral
coeffs.
Bit
stream
Spectral
Analysis
0s to -1s
Bit-stream of
Input 2
.
.
.
.
.
.
.
.
.
.
Input 2
Set 1
C(i,j)
i th input
j th set
5
Determining Prominent Components
For input i
Component
Spectrum
Set 1
....
Averaged
Spectrums
Set J
Averaging
....
Power
Spectrum
Phases of
prominent
components
Averaging
....
M prominent
components chosen
6
BIST Architecture
System
clock
Clock divider
N-bit counter
with XOR
gates
Clock
derived
signals
Set
Weighted
M-bit counter
which
Length
random
Clock
bit-stream
divides the clock
frequency
(W=0.5)
repeatedly by 2
Weighted
random
bit-stream
(W=0.5)
Bit-stream
System
2
Holder
BIST
clock
Hadamard
wave generator
of spectral
Clock Proportion:
component
SC1 = 0.5
SC1
Hold SC2 = 0.5
Clock
Weighted random
SC2
bit-stream (W = 0.25)
SC3
Noise
BIST
inserted
Clock
bit-stream
Proportion:
SC1 = 0.25
SC2 = 0.25
SC3 = 0.5
Cellular Automata
Register with
AND-OR gates
Weighted pseudo-random
pattern generator
2
System clock
3
BIST clock
1
Hadamard
Components
Weighted
pseudo-random
bit-streams
1
Spectral
component
synthesizer
Input 1
Input 2
Randomizer
1
To
CUT
Input 3
7
Hadamard BIST Results
Number of faults detected
Circuit
Total
No. of
faults
Flex
Test
ATPG
Random
(64k vectors)
Weighted
Random (64k)
Without
holding
With
holding
Without
Holding
With
Holding
Hadam
-ard
BIST
(64k)
Haar
BIST1
(64k)
s298
308
273
269
273
273
273
273
273
s820
850
793
414
449
744
764
777
710
s1423
1515
1443
891
1217
1449
1469
1468
1468
s1488
1486
1446
1161
1369
1443
1443
1443
1441
s5378
4603
3547
3222
3424
3288
3537
3603
3609
s9234
6927
1588
1268
1305
1293
1303
1729
1413
s15850
13863
7323
5249
6270
5847
6696
6844
5888
s38417
31180
15472
4087
4185
4803
4949
17020
4244
Equal
Maximum
or more
faults
faults
detected
detected
thaninATPG in
6 5/ 8/ 8circuits
circuits
1. S. K. Devanathan and M. L. Bushnell, “Test Pattern Generation Using
Modulation by Haar Wavelets and Correlation for Sequential BIST,” in
Proc. 20th International Conf. VLSI Design, 2007, pp. 485–491.
8
Hadamard Results
FlexTest
Circuit
Fault Cov.
(%)
Hadamard BIST
No. of
vectors
Fault
coverage
(%) at 64K
vecs.
Fault
coverage
(%) at 128K
vecs.
BIST vecs.
for FlexTest
ATPG cov.
s298
88.64
153
88.64
88.64
757
s820
93.29
1127
91.41
91.88
(!)
s1423
95.25
3882
96.90
96.90
22345
s1488
97.31
736
97.11
97.11
(!)
s5378
77.06
739
78.27
78.67
8984
s9234
22.92
15528
24.96
25.25
8835
s15850
52.82
61687
49.37
52.15
198061
s38417
49.62
55110
54.59
63.07
43240
Equal or more faults
detected than ATPG in
6 / 8 circuits
9
Area Overhead
Circuit
No. of
trans. in
circuit
Haar BIST1
Hadamard BIST
With clock divider
circuit
No. of
trans.
% Area
overhead
Without clock
divider circuit
No. of
trans.
No. of
trans.
% Area
overhead
% Area
overhead
s298
890
908
102.02
820
92.13
834
93.71
s820
1896
1472
77.64
1340
70.68
1612
85.02
s1423
4624
1637
35.40
1483
32.07
1555
33.63
s1488
4006
1069
26.68
959
23.94
1078
26.91
s5378
12840
2342
18.24
2210
17.21
2487
19.37
s9234
23356
2700
11.56
2502
10.71
2552
10.93
s15850
43696
4908
11.23
4666
10.68
4595
10.52
s38417
108808
3606
3.31
3364
3.09
2135
1.96
1. S. K. Devanathan and M. L. Bushnell, “Test Pattern Generation Using Modulation by Haar Wavelets and Correlation for
Sequential BIST,” in Proc. 20th International Conf. VLSI Design, 2007, pp. 485–491.
10
Testability analysis and enhancement

Improving testability



RTL faults2 defined as faults on the boundary of
combinational logic
XOR tree connecting unobservable RTL faults
Identifying untestability

Sequentially untestable faults identified using
single fault theorem3
2. N. Yogi and V. D. Agrawal, “Spectral RTL Test Generation for Gate-Level Stuck-at Faults,” in Proc. 15th IEEE Asian
Test Symp., 2006, pp. 83–88.
3. V. D. Agrawal and S. T. Chakradhar, “Combinational ATPG Theorems for Identifying Untestable Faults in Sequential
Circuits,” IEEE Trans. Computer-Aided Design, vol. 14, no. 9, pp. 1155–1160, Sept. 1995.
11
Fault and Test Coverages



Example circuit: s5378
XOR tree inserted to observe outputs of 49 flip-flops
from a total of 179
683 faults found as sequentially untestable using single
fault theorem3
Test
Method
Fault Coverage (%)
Test Coverage (%)
Without DFT
With DFT
Without DFT
With DFT
FlexTest
ATPG
77.05
82.22
92.80
96.55
Hadamard
BIST
78.27
81.23
94.27
95.38
3. V. D. Agrawal and S. T. Chakradhar, “Combinational ATPG Theorems for Identifying Untestable Faults in Sequential
Circuits,” IEEE Trans. Computer-Aided Design, vol. 14, no. 9, pp. 1155–1160, Sept. 1995.
12
Conclusion

Proposed a novel method for test generation for sequential circuit
BIST
 Proposed unique circuits for mixing spectral components and
noise
 Method detects equal or more faults than ATPG vectors in 6 out
of 8 ISCAS’89 benchmark circuits
 Moderate area overhead compared to existing methods

Performed testability analysis and enhancement on an example
circuit i.e. s5378

Proposed method is flexible and adaptable
 Any other suitable vectors can be used instead of ATPG vectors.
 Any compatible transform for binary transforms can be used for
spectral analysis instead of Hadamard transform.
13
Thank You!
Any questions please ?
14
Download