”O
0.81
I
t fl X \
Detecting and Locating Electrical Shorts Using
Group Testing
C, C. CHEN A N D F. K. HWANG
~~ ~~ - --
Authorized licensed use limited to: M S RAMAIAH INSTITUTE OF TECHNOLOGY. Downloaded on April 24,2010 at 07:23:32 UTC from IEEE Xplore. Restrictions apply.
1114 IEEE TRANSACTIONS ON CIRCUITSAND SYSTEMS, VOL.
36, NO. 8, AUGUST 1989
short pair between the nets in a , and the nets in h, for at least
one i. Let [Cfi=la,]denote the configuration where there exist k
disjoint sets with U,; . ., ak nets such that no short pair exists
between the U , nets and the a, nets for any i and j . Let 1x1(1x1)
denote the greatest (smallest) integer not greater (smaller) than x.
Theorem I: A short pair can be located in the configuration
[ a x h ] in [log, ab] tests.
Proof: We show that the problem of locating one short pair
in the configuration [ a x h ] is mathematically equivalent to the
Fig. 1. A diagonal short between two nets. problem of using group testing to locate the two defectives in two
disjoint sets of a and b items, respectively, where each set
contains exactly one defective [l]. A group test is a simultaneous
tions allow only shorts occurring vertically or horizontally, not
test on a subset of items with two possible outcomes: the subset
diagonally, as shown in Fig. 1.
contains no defectives (negative outcome) or it contains at least
Skilling [3] proposed a clever locating procedure much more
one defective (positive outcome). We can associate with the group
efficient than the n-square testing. In his method each net is
testing problem an a x h complete bipartite graph where each
tested individually against all other nets, collectively. Thus after n
edge represents a possible solution to the problem-a pair of
tests we obtain all the shorted nets, though we do not know to
defectives. Suppose we test a subset consisting of c of the a items
which other nets they are shorted. If there are d shorted nets,
and d of the h items. Then the two outcomes partition the
then (;) more tests are required to determine which of these are bipartite graph into two disjoint subgraphs where one of them is
shorted to which others. Thus the total number of tests is the subgraph induced by the a - c and 6 - d untested items
n+ ( ;), which can be significantly less than
(1) for n much (corresponding to the negative outcome). For the [ a X h ] short
testing problem again we can associate an a x b complete bipar-
larger than d .
tite graph where each edge represents the short pair to be located
In this paper we propose a locating procedure which requires
approximately 2(d + l)log, n tests. For values of n and d for next (there may exist more than one short pair but only one is
located at a time). When we connect a - c of the a nets to one
which Skilling compared his method with the n-squared testing,
our method compares very favorably with Skilling’s method, lead and b - d of the b nets to the other lead, then the same
especially for larger values of n. We also consider a practical partition as before is obtained. Namely, when the short-detector
constraint that one of the two groups being tested can include at shows a presence of short, then the subgraph consistent with this
most I nets. outcome is induced by the a - c and the b-d nets. It is easily
seen that the correspondence between the negative outcome in a
group test and the presence of short in a short test holds not just
11. THEPROPOSED PROCEDURE for the first test but for all tests. Therefore the two problems are
The unique characteristic of the proposed algorithm is that the mathematically equivalent. By a result in [ l ]the group testing
fault detection and fault location are considered simultaneously. problem can be done in [log, ah] tests. This verifies Theorem 1.
Consider a circuit board with n networks. Without loss of We now define the halving procedure H for the short testing
generality we assume n = 2“. This algorithm can be described as problem. For the configuration [Xfi=lo,] we split each set of a,
a process of sequentially partitioning the n networks into 2‘ nets half and half (as closely as possible); connect one half to one
disjoint subsets at the ith stage; half of these 2’ subsets are lead and the other half to the other lead. When no short is
connected to the “FROM” side and the other half to the “TO” side present, we move into the configuration [C;b,a,!] each a, splits
such that within the “FROM” side and “TO” side all subsets are into a,‘ and a,’+A. When a short is present, we move into the
free from short with each other. A testing signal is then applied configuration [ X f = , [ a , / 2 J X [ a , / 2 ] ]We
. then use binary splitting
to the networks on the “FROM” side and are monitored at the on the k pairs, to identify one pair [a,/2jX[af/2] that contains
“TO” side. Two possible outcomes of the ith stage will lead to the a short, in [log, k ] tests. By Theorem 1 we can then locate a
following subsequent actions: shorted pair from the configuration [la,/ 2 J x [ a ,/21].
Theorem 2: The halving procedure H can locate a shorted pair
If the ith stage passes, we repeat the above procedure for the in n nets in 2[log, nl - 1 tests, or ascertain the nonexistence of a
(i + l ) t h stage. Note that when i = a =log, n, all the 2“ shorted pair in [log, n ] tests.
subsets are singletons. The passing of the a th stage would Proof: Since we start from the configuration [n],it is clear
imply that the networks are free from short defects because that all configurations of the form [C,k=la,]Hencounters has k a
the networks on the same side are also free from the short power of 2 and each U , Q 2a-‘ng2k where a = [log, n ] . Conse-
defect. quently, all the [ I f = , a ,X h,] configurations H encounters also
If the i th stage fails for some stage i, a binary search begins have k a power of 2 and each a,h, < 22(U-’ng2kp1). Suppose that
on each side, and with 210g, i tests, we will obtain one pair the first time we obtain the configuration of the form Cfi=,a, x b,
of subsets (T,, c)-one from each side such that at least one is when k = 2“’. Then m + 1 tests have been used. In another m
network in F; is shorted to one network in 7;. Repeating the tests we obtain a pair a , X h, which contains a short pair. Finally,
binary search again on both E; and T,, we will be able to we locate the short pair in 2[10g, n1-2m - 2 more tests. Adding
identify one pair of networks from F; and 7; which are up the tests we obtain 2[10g, nl- 1. If after [log, nl tests we
shorted together. We then go back to stage 1. obtain the configuration C~OL,a,with each U , ~ 1then , clearly we
know that no short pair exists.
This testing process can be mathematically described as follows: We now consider two modes of operation, R and R , depend-
Let [Cf=,(a , X b,)]denote the configuration where there exist 2 k ing on whether a located short is immediately repaired or not. An
disjoint sets with a,, b,; . ., a k ,b, nets such that there exists a important difference is that when detecting a short we do not
Authorized licensed use limited to: M S RAMAIAH INSTITUTE OF TECHNOLOGY. Downloaded on April 24,2010 at 07:23:32 UTC from IEEE Xplore. Restrictions apply.
IEEE TRANSACTIONSON CIRCUITS AND SYSTEMS, VOL. 36, NO. 8, AUGUST 1989 1115
TABLE I
OF THREE METHODS
A COMPARISON
each board needs to perform a breakdown test with lo00 V. which achieves the maximum
Connecting too many nets on the “From” lead (the lead where
the testing signal is applied) during the test is hazardous to the [./I] + ( 2 d + [ n / 2 1 ~ ) [ l o g 2 1 ) +d
test equipment. The SID Breakdown test set (an in-house con- at k = 0 for I fi and achieves the maximum
structed test set used for testing Reed-relay switches in Oklahoma
City Works) can accommodate up to 32 nets. Therefore, in order [n/I]+d[log,n]+[n/21][log21]+d
to have practical implementation of the proposed algorithm, we at k = d for I < fi.Theorem 4 follows immediately.
need to modify the algorithm to accommodate hardware restric- Corollary: At most d more tests are needed if mode R is
tions, as stated in the following theorem. replaced by mode R .
Theorem 4: Suppose that at most I nodes can be included Let n =lo24 in the following table for numbers of tests with
in one of the two groups. Then there exists a procedure for various values of d and 1.
mode R which requires at most [ n / l l + [n/2llf1og2 I1 + We note that procedure H requires a slightly greater number
d flog, max { n, 1, }1+ d tests. of tests than Skilling’s method for I = 1. We also note that for d
Proof: Partition the n nets into [ n / l l groups where each large the number of tests is not increasing in I for 1 &. This
group has 1 nets except possibly one group. Suppose that there suggests two things. First, the benefit of having larger 1 is
Authorized licensed use limited to: M S RAMAIAH INSTITUTE OF TECHNOLOGY. Downloaded on April 24,2010 at 07:23:32 UTC from IEEE Xplore. Restrictions apply.
1116 IEEE TRANSACTIONS ON CIRCUITSAND SYSTEMS, VOL.
36, NO. 8, AUGUST 1989
decreasing for I 6. Second, for I large we may not want to use I. INTRODUCTION
the full capacity. It is clear that we never need I > n/2 since we Recently, various types of sensors using integrated circuit
can always apply the capacity constraint to the smaller group of technology have been developed. Effective interfaces between a
nets. Therefore I = 512 corresponds to the case of no capacity sensor array and a parallel digital processor array are becoming
constraint. A discrepancy of one test between I = 512 in Table I1 of crucial importance, in particular when it is desirable to have a
and n =lo24 for procedure H in Table I is due to a slight large sensor array and parallel digital processors on a single chip.
difference in analysis. The continuous progress of the VLSI technology has provided
the possibility of integration of such systems. However, the area,
IV. CONCLUSION speed and power consumption of the A/D converter array have
become the bottleneck. To alleviate this problem, an architecture
If the capacity constraint I equals one, then Skilling’s method
for an efficient A/D converter array is required. For a multi-
is still the best. However, in many practical applications I is
channel parallel converter array, we are interested in A/D con-
greater than one and can go as high as 32. Then the proposed
verter structures which reduce the number of components (capa-
procedure H with constraint 1 does save a lot of tests from
citors and amplifiers) as well as the accuracy requirement of these
Skilling’s method. The procedure H with constraint I also in-
components.
cludes the procedure H with no constraint as a special case by
In a system where a parallel A/D converter array is used
setting I = [n/2J. together with an on-chip sensor array and parallel digital proces-
The test patterns for procedure H are more complicated than
sors, the requirement on speed of the A/D converter is not
those corresponding to the n-square method and Skilling’s
necessarily very high. The reduction of the size and power
method. However, the time required to set up the patterns is
consumption for the A/D converter is more important. The high
usually dominated by the time required for a test. For example,
speed requirement of a video A/D converter is due to the
for SID breakdown test set in Oklahoma City Works, it takes
pixelwise read-out principle of a video system. For an integrated
approximately 120 ms to perform a test and the switching speed
vision system, suppose that the sensor array has a size of 512 x 512
to set up the test pattern is in order of microseconds. This
pixels, with a frame rate of 48 frames per second. When a 512
justifies the use of the number of tests as the evaluation criterion.
channel A/D converter array is used, the required conversion
rate of each A/D converter is only 25 kS/s. Suppose that 8 bit
REFERENCES resolution is needed, then the clock frequency will be 200 kHz,
[I] G. J. Chang and F. K. Hwang, “A group testing problem on two disjoint
which can be well handled by switched-capacitor (SC) technique.
sets,” SIAM J. Alg. Discrefe Meth., vol. 2, pp. 35-38, 1981. The possibility of higher clock frequencies will be interesting for
[2] M. R. Garey, D. S . Johnson, and H. C. So, “An application of graph high-frame rate cameras or time-sharing of A/D converters.
coloring to printed circuit testing, IEEE Tram. Circuits Sysf.,vol. CAS-23,
pp. 591-599.1916. Various A/D conversion algorithms operate by modifying the
[3] J. K. Skilling, “Method of electrical short testing and the like,” U.S. input signal or the reference signal or both in an A/D converter.
Patent 4 342 959, Aug. 3, 1982.
Input signal processing can not be space-shared in a multi-chan-
ne1 parallel system. If reference signal processing can be sepa-
rated from input signal processing, an independent reference
processing unit can be used for all the A/D converter channels.
A Parallel A/D Converter Array Structure with
Integrating type A/D converters are examples of this approach,
Common Reference Processing Unit where the output of the reference signal processing unit is a ramp
KEPING CHEN AND CHRISTER SVENSSON signal. The approach of a common reference processing unit for
an A/D converter array has been used and shown to be space
Abstract -successive approximation A / D converter array, with a paral- efficient [l], [2]. Danielsson has proposed an A/D converter
lel architecture, is proposed. The circuit is realized using switched-capaci- array structure, where a common reference signal is used for all
tor (SC) technique. The architecture of the A/D converter array is based channels of an A/D converter array [l]. A common reference
on a common reference processing unit and multi-channel parallel input source and a common digital counter have also been proposed
signal processing units. Input signal processing units, which are the main for a multi-channel A/D converter array [2]. The drawback of
part of the A / D converter array, are insensitive to the capacitor ratio these two A/D conversion array structures is due to low speed.
mismatch and the gain of the amplifiers. The linearity of the A/D
For a k-bit conversion, 2k - 1 clock cycles are required. In this
converter array is insensitive to parasitic capacitors and offset of ampli-
fiers. The Conversion time of the A / D converter array is linearly propor- paper, we demonstrate that a common reference processing ap-
tional to the number of bits required. Due to the small amount of proach can be exploited in successive approximation type con-
components needed and simplicity of the circuit realization, the proposed verters. The extraction of the common reference processing from
A/D solution is suitable for VLSI implementation of an A / D converter the input signal processing not only reduces the total number of
array. A typical application of such a kind of A / D converter array would components but also makes input signal processing insensitive to
be in a smart sensor system, where a sensor array, parallel A/D converters the component ratio mismatch.
and parallel digital processors are integrated in a single chip.
11. ALGORITHM
FOR A BINARY
SEARCH
A/D
CONVERTER ARRAY
Manuscript received May 19, 1988; revised November 11, 1988. This work
was supported by the National Swedish Board for Technical Development. There exist two types of binary search A/D conversion meth-
This paper was recommended by Associate Editor C. A. T. Salama. ods. One type of converter is commonly referred to as a succes-
The authors are with the LSI Design Center, IFM, Linkoping University,
S582-83 Linkoping, Sweden.
sive approximation A/D converter. Another type of converter is
IEEE Log Number 8928275. called an algorithmic A/D converter, which can be implemented
Authorized licensed use limited to: M S RAMAIAH INSTITUTE OF TECHNOLOGY. Downloaded on April 24,2010 at 07:23:32 UTC from IEEE Xplore. Restrictions apply.