Abstract—DC testing of parametric faults in non-linear analog circuits based on a new transformation, entitled, V-Transform acting on polynomial coefficient expansion of the circuit function is presented. V-
Transform serves the dual purpose of monotonizing polynomial coefficients of circuit function expansion and increasing the sensitivity of these coefficients to circuit parameters. The sensitivity of V-Transform
Coefficients (VTC) to circuit parameters is up to 3x-5x more than sensitivity of polynomial coefficients. As a case study, we consider a benchmark elliptic filter to validate our method. The technique is shown to uncover hitherto untestable parametric faults whose sizes are smaller than 10% of the nominal values.
NTRODUCTION
Non-linear circuit testing has been researched and different methods have been proposed for finding parametric faults [1], [2], [3], [4], [5], [6], [7], [8]. Prominent among them in the industry is the I
DDQ based testing where current from the supply rail is monitored and sizable deviation from its quiescent value is reported. However this requires augmentation of the CUT. For example, in the simplest case a regulator supplying power to any sizable circuit has to be augmented with a current sensing resistor and an ADC (for digital output) and then there is subsequent analysis to be performed on sensed current. Further I
DDQ is suitable only for catastrophic faults as the current drawn from the supply is distinguishable only when there is some “big enough” fault so as to change the current drawn from the supply from its quiescent value to a region where it is distinguishable. For example with resistor R
2 being open in Figure 1, the current drawn from supply can change by 50% of its quiescent value. Such faults can typically be found by monitoring I
DDQ using a current sensor. However parametric deviations say lesser than 10% from its nominal value cannot be observed using this scheme, specially so in the deep submicron era where the leakage currents can be comparable with defect induced current [9]. It is therefore interesting to develop a method to detect parametric faults while DC testing with lesser circuit augmentation.
To address the issue of parametric deviation, we would typically need more observables to have an idea about the parametric drift in circuit parameters. This would mean an increase in complexity of the sensing circuit. However, we would also want only little augmentation to tap any of the internal circuit nodes or currents. To overcome these seemingly contrasting requirements the method intended should have some way of “seeing through” the circuit with only the outputs and inputs at its disposal.
References [10], [11] have accomplished this sort of a strategy for linear circuits in a different context as described next.
Savir and Guo describe a method [10] based on transfer function description of CUT.
The transfer function, H ( s ) , of the CUT is expressed as in (1):
M
P a i s i
H ( s ) = i =0
N
P b i s i i =0
( M < N ) (1)
Here, a i and b i are referred to as transfer function coefficients (TFCs). The CUT is subjected to frequency rich input signals and the output at these frequencies is observed.
With these input-output pairs they estimate the TFCs of CUT. These coefficients are now compared with the ideal circuit TFCs, which are known a priori. The CUT is classified faulty if any of the estimated coefficients are beyond the tolerable range. This method necessarily needs the CUT to be linear, as transfer functions are possible only for LTI systems.
To extend the above idea to more general non-linear circuits we adopted a strategy in
[12] where we expand the function of the circuit as a polynomial by the Taylor’s series expansion about the input voltage v in
= 0 as follows: v out
= f ( v in
) = f (0) + f
· · · +
0
(0)
1!
f
( n v in
) (0) n !
+ v f n in
00
(0)
2!
+ v
· · ·
2 in
+ f
000
(0)
3!
v
3 in
+
(2) where f ( x ) is a real function x . Ignoring the higher order terms in (2), we can expand v out up to the n th power of v in
, which gives us the approximation in (3): v out
= a
0
+ a
1 v in
+ a
2 v
2 in
+ · · · + a n v n in
(3) where a
0
, a
1
, a
2
, . . . , a n are all real-valued functions of circuit parameters p k
∀ k .
Further assume that normal parameter variations (normal drift) in a good circuit are within a fraction α of their nominal value, where α << 1 . This means that every parameter p i is allowed to vary within the range p k,nom
(1 − α ) < p k
< p k,nom
(1+ α ) ∀ k , where p k,nom is the nominal value of parameter p k
. Whenever one or more of the coefficient values slip outside its individual hyper-cube we get a different set of coefficients that reflects a detectable fault. Therefore, equation (4) describes a hypercube for all parameters that correspond to either good machine values or undetectable parameter faults [10], [2],
[8]: a i, min
< a i
< a i, max
∀ a i
, 0 ≤ i ≤ n (4)
This paper is organized as follows. Section II deals with the analysis of the nature of coefficients resulting from polynomial expansion of function f ( v in
) and notions of detectable fault sizes of parameters. Section III outlines V-Transform and the resulting sensitivity improvement. In Section IV we describe the problem at hand and discuss the proposed solution with an example. In Section V we generalize the solution to an arbitrarily large circuit. Section VI presents the simulation results for some standard circuits. We conclude in section VII.
RELIMINARIES
The coefficients a i
∀ 0 ≤ i ≤ n are in general non-linear functions of circuit parameters p k
∀ k . The rationale in using these coefficients as metrics in classifying
CUT as faulty or fault free is based on the premise of dependence of coefficients on circuit parameters.
Theorem 1. If coefficient a i is a monotonic function of all parameters, then a i takes its limit (maximum and minimum) values when at least one or more of the parameters are at the boundaries of their individual hypercube.
Lemma 1. If coefficient a i p i
, then a i is a non-monotonic function of one or more circuit parameters can take its limit values anywhere inside the hypercube enclosing the parameters.
By Theorem 1 and Lemma 1 it is clear that by exhaustively searching the space in the hypercube of each parameter we can get the maximum and minimum values of the polynomial coefficient. Typically this can be formulated as a non-linear optimization problem to find the maximum and minimum values of coefficient with constraints on parameters allowing only a normal drift.
Theorem 2. In polynomial expansion of Non-Linear Analog circuit there exists at least one coefficient that is a monotonic function of all the circuit parameters.
In conclusion, from Lemma 1 and Theorem 2, circuit parameter deviations have a bearing on coefficients and the monotonically varying coefficients can be used to detect parametric faults of the circuit parameters. We have proved theorems 1 and 2 in our previous paper [12].
Definition 1: A minimum size detectable fault, MSDF ρ , of a parameter is defined as the minimum fractional deviation of the circuit parameter from its nominal value for it to be detectable with all other parameters held at their nominal values. The fractional deviation can be positive or negative and is named upside-MSDF (UMSDF) or downside-
MSDF (DMSDF) accordingly.
Definition 2: A nearly minimum size detectable fault, or NMSDF ρ ∗ , of a parameter is defined as some fractional deviation of the circuit parameter from its nominal value, with all the other parameters being held at their nominal values, that is close to its MSDF with an infinitesimally small error, . Thus,
= | ρ − ρ ∗| << 1 (5)
R1
I
M1
R2
I
M2
V out
TABLE I
MSDF FOR CASCADED AMPLIFIER OF F IGURE 1 WITH
α = 0.05.
Circuit parameter
Resistor R
1
Resistor R
2
%upside %downside
MSDF MSDF
10.3
12.3
7.4
8.5
M1 M2
V in
Fig. 1.
Cascaded amplifier.
NMSDF also has notions of upside and downside as in case of MSDF. In (5), can be perceived as a coefficient of uncertainty about the MSDF of a parameter. If ψ is the set of all coefficient values spanned by the parameters while varying within their normal drifts, i.e.,
ψ = { υ
0
, υ
1
∀ k
, · · · p
, υ n
| k,nom
υ
0
∈ A
0
, υ
1
(1 − α ) < p
∈ A
1 k
< p
, · · · , υ n k,nom
∈ A
(1 + α ) n
} then by definitions 1 and 2, ψ includes all possible values of coefficients that are not detectable. Any parametric fault inducing coefficient value outside the set ψ will result in a detectable fault.
RANSFORM
Let us define V-Transform coefficients as follows: if C
1
, C
2
· · · C n coefficients of CUT then their V-Transform coefficients denoted by V
C
1 are given by are polynomial
, V
C
2
· · · V
Cn
V
Ci
= e
γC
0 i
∀ 0 ≤ i ≤ n (6) where C 0 i are the modified polynomial coefficients defined indirectly as follows dC 0 i dp j
= dC i dp j
∀ 0 ≤ i ≤ n (7) a
0
= V
DD
− R
2
K a
1
= R
2
K W
L
2
W
L
2
( V
DD
R
2
1
K
2 W
L
2( V
DD
− V
T
− V
T
)
2
2
+
V
4
T
−
1
) R
1
W
L
1
V
T
2
4 R
2
1
K
2 W
L
+2( V
DD
2
1
− V
T
V
3
T
) R
1
K W
L
1
V
T a a
2
4
= R
2
K
W
L
2 a
3
= 4 V
T
K
3 W
L
2
1
= − K
3 W
L
2
1
2( V
DD
− V
T
) R
1
K
− 6 R
2
1
K
2 W
L
2
1
V
T
2
W
L
1
W
L
2
2
R
2
1
R
2
W
L
2
2
R
2
1
R
2
(10) a
0
= 1 .
2 − R
2
2 .
56 × 10 −
3
+ 1 .
024 × 10 −
7
− 5 .
12 × 10 −
4
R
1
R
2
1 a
1
= 4 .
096 × 10 − 9
R
2
1
R
2
+ 5 .
12 × 10 − 6
R
1
R
2 a
2
= 1 .
28 × 10 − 5
R
1
R
2
− 1 .
536 × 10 − 8
R
2
1
R
2 a
3
= 2 .
56 × 10 − 8
R
2
1
R
2 a
4
= 1 .
6 × 10 − 8
R
2
1
R
2
(11)
To find the limit values of the coefficient a
0 we assume the parameters R
1 and R
2 deviate by a fraction x and y from their nominal values respectively. To maximize a
0 we have the objective function as given by (12) subject to constraints in (13). Note that here we have set out to find MSDF of R
1
. Similar approach can be used to find the
MSDF of R
2
.
1 .
2 − R
2 ,nom
(1 + y )
(
2 .
56 × 10 −
3
+
1 .
024 × 10 −
7
R
2
1 ,nom
− 5 .
12 × 10 −
4
R
1 ,nom
(1 + x )
2
(1 + x )
)
(12)
The definition of C 0 i as in (7) ensures that these modified polynomial coefficients are monotonic with the polynomial coefficients. Further, the V-Transform coefficients
(VTC) are defined as exponential functions of these modified polynomial coefficients.
γ is a sensitivity parameter which can be chosen according to the desired sensitivity. The gain in sensitivity of V-Transform coefficients to circuit parameters over the sensitivity of ordinary polynomial coefficients is given by v out
S
S
VC i pi
Ci pi
=
dCi dpi
γe
γC 0 i
• pi e
γC 0 i dCi dpi
• pi
Ci
ROBLEM AND
= a
0
+ a
1 v in
+ a
2 v
2 in
= γC
PPROACH
+ a
3 v
3 in i
+ a
4 v
4 in
(8)
We shall first illustrate with an example the calculation of limits of the polynomial coefficients for a simple circuit using MOS transistors. We shall follow this up with
MSDF values for the circuit parameters.
Example 1. Two stage amplifier Consider the cascaded amplifier shown in Figure 1.
The output voltage V out equation as in (9).
in terms of input voltage results in a fourth degree polynomial
(9)
Where the constants a
0
, a
1
, a
2
, a
3 are defined symbolically in (10) for M1 and M2 operating in saturation region. Nominal values of V
DD
=1.2V, V
T
= 400mV,
1
2
W
L
2
= 20 parameters R
1
, and and R
2
K = 100 µ A / V
2 as stated in (11).
W
L
=
1 are substituted to get coefficients in terms of
4 .
096 × 10
+ 5
−
+5 .
12 × 10 −
.
9
6
R
2
1 ,nom
12
R
1 ,nom
×
(1 +
(1 +
= 4 .
096 × 10 −
9 x
R
10
) x
2
2
)
R
R
2 ,nom
2 ,nom
1 ,nom
−
6
R
(1 +
(1 +
1 ,nom
ρ
(1 +
)
2
R
(1 + y )
ρ
2 y
)
)
,nom
R
2 ,nom
(13)
1
−
.
28
1 .
536
×
× 10
10
− 8
= 1 .
− 5
R
28
R
2
1 ,nom
×
1 ,nom
10
(1 +
(1 +
− 5
− 1 .
536 × 10
R
− 8 x
R
2
) x
2
) R
R
1 ,nom
2 ,nom
2 ,nom
(1 +
1 ,nom
(1 +
ρ
(1 +
)
ρ
(1 +
R
)
2 y ) y )
2 ,nom
R
2 ,nom
2 .
56 × 10 −
8
R
2
1 ,nom
(1 + x )
2
R
2 ,nom
= 2 .
56 × 10 −
8
R
2
1 ,nom
(1 +
(1 + ρ )
2 y
R
)
2 ,nom
(14)
(15)
1 .
6 × 10 − 8
R
2
1 ,nom
(1 +
= 1 .
6 × 10 − 8 x )
2
R
2 ,nom
R
2
1 ,nom
(1 +
(1 +
ρ )
2 y
R
)
2 ,nom
− α ≤ x, y ≤ α
(16)
(17)
The extreme values for x and y on solving the set of equations in (12-17) we have x =
− α and y = − α , this gives us the MSDF value for R
1
, ρ in (18).
ρ = (1 − α )
1 .
5
− 1 ≈ 1 .
5 α − 0 .
375 α
2
(18)
Table I gives the MSDF for R
1 and R
2 based on above calculation.
Start
Apply DC sweep to input and note corresponding output voltage levels
Polynomial Curve fit the obtained I/O data
Compute V-Transform
Coefficients
i = 0 i = i+1
Ci
Yes
|C i
| > |C
|C i in
(1+
| < |C in
(1i
)| or i
)| i < N ?
No
No
Subject CUT to further tests
Yes
CUT is faulty
Stop
Fig. 3.
Flow chart of test procedure for CUT.
Fig. 2.
coefficients.
Flow chart showing fault simulation process and bounding of
R2
ENERALIZATION
In general, calculation as above cannot be done for arbitrarily large circuits. Such circuits are handled by obtaining a nominal numeric polynomial expansion of the desired circuit. This is done by sweeping the input voltage across all possible values and noting the corresponding output voltages. Now, the output voltage is plotted against the input voltage. A polynomial is fit to this curve and the coefficients of this polynomial are taken to be the nominal coefficients of the desired polynomial. A V-Transform curve is now obtained based on the polynomial curve using the transformation in equation (9).
The circuit is simulated for different drifts in the parameter values at equally spaced points from inside the hypercube enclosing each circuit parameter, spaced apart.
Polynomials coefficients and hence V-Transform coefficients are obtained for each of these simulations. The maximum and minimum values of coefficient in this search are taken as the limit value on that coefficient. Once the limit values on all coefficients have been determined the CUT is subjected to DC sweep at the input. Its response to the
DC sweep is curve fitted to a polynomial of order same as the fault free circuit. The
V-Transform coefficients for CUT are now obtained. If there are any coefficients that lay outside the limit values of corresponding coefficients of the fault free circuit, we can conclude the CUT is faulty with a high probability that is inversely proportional to coefficient of uncertainty . The converse is also true. Flow chart in Figure 2 summarizes the process of numerically finding the V-T coefficients and finding the bounds on V-T coefficients. Flow chart in Figure 3 outlines the procedure to test CUT using the V-
Transform coefficients. The bounds on coefficients of fault free circuit are found a priori as shown in flowchart of Figure 2.
IMULATION
ESULTS
We subjected an elliptic filter shown in Figure 4 to V-Transform coefficient based test. The circuit parameter values are as in the benchmark circuit maintained by Stroud et al. [13]. Figure 5 shows the computed response and the estimated polynomial obtained by curve fitting: v out
= 4 .
5341
+ 2
−
.
3 .
498
1309 v v
3 in in
− 2 .
5487
− 0 .
50514 v v
4
2 in in
+ 0 .
039463 v
5 in
(19)
The combinations of parameter values leading to limits on the coefficients are as shown in Tables II and III. Some of the circuit parameters are not shown in the table because they do not appear in any of the coefficients and are kept at their nominal values. Further, results on pass/fail detectability of some injected faults is tabulated in Table IV.
Vin
R1
−
+
C1
R4
R3
C3
R7
R6
R5
C2 C4
−
+
R8
R9
R11
R10 C6
C5
Fig. 4.
Elliptic filter.
R12
R13
C7
−
+
R14
R15
Vout
ONCLUSION
A new approach for testing non-linear circuits based on polynomial expansion of the circuit was proposed. The approach was underpinned by V-Transform which renders the polynomial coefficients monotonic and increases the sensitivity of polynomial coefficients in transform domain (V-domain). The minimum size detectable faults of some of the parameters in circuits are as low as 5% which implies impressive fault coverage can be achieved with VTC as the metric. The method has been extended to sensitivity based fault diagnosis with probabilistic confidence levels in parameter drifts. The method of polynomial expansion at DC alone, as described here, may not detect certain types of faults, such as, parametric faults of a capacitor. To overcome this, in our ongoing work, we are generalizing this technique to multiple frequencies.
CKNOWLEDGMENT
The authors would like to thank Prof. Vittala Rao, formerly with Dept. of mathematics,
IISc for his comments and help in monotonicity arguments of V-Transform coefficients.
3
2
1
0
−1
−2
−3
0
5
4
Polynomial Coefficient Plot
Simulated
5th degree polynomial a5 = 0.039463
a4 = −0.50514
a3 = 2.1309
a2 = −2.5487
a1 = −3.498
a0 = 4.5341
6000
5000
4000
3000
2000
1000
V−Transform Coefficient plot
Vc5 = 1.0402
Vc4 = 1.6572
Vc3 = 8.4224
Vc2 = 12.7904
Vc1 = 33.0492
Vc0 = 93.1396
1 2 3
Input DC Voltage (Vin)
4 5
0
0 1 2 3
Input DC Voltage (Vin)
Fig. 5.
DC response of elliptic filter with curve fitting polynomial and V-Transform plot
4 5
TABLE II
P ARAMETER COMBINATIONS LEADING TO MAXIMUM VALUES OF
V-T RANSFORM COEFFICIENTS WITH
α = 0.05.
TABLE IV
R ESULTS FOR SOME INJECTED FAULTS .
Circuit
Parameter
(Ω)
R
R
R
R
R
R
R
R
R
1
2
3
4
5
6
7
11
12
= 19.6k
= 196k
= 147k
= 1k
= 71.5
= 37.4k
= 154k
= 110k
= 110k
V c 0
V c 1
V c 2
P ARAMETER COMBINATIONS LEADING TO MINIMUM VALUES OF
Circuit
Parameter
(Ω)
V-T RANSFORM COEFFICIENTS WITH
α = 0.05.
R
1
= 19.6k
R
2
= 196k
R
3
= 147k
R
4
= 1k
R
5
= 71.5
R
6
= 37.4k
R
7
= 154k
R
11
= 110k
R
12
= 110k
V c 0
20.5k
205k
150k
V
18.6k
186k
139k
1010 950
80 70
TABLE III c 1
V c 2
18.6k
205k
139k
950
70
EFERENCES
V
V c 3 c 3
20.5k
205k
146k
950
80
V
V c 4 c 4
20.5k
205k
154k
950
70
V
V c 5
18.6k
20.5k
20.5k
20.5k
18.6k
18.6k
186k 205k 186k 186k 186k 205k
139k 154k 154k 154k 139k 154k
950 1010 1010 1010 1010 1010
70 80 80 70 80 70
37.4k
37.4k
37.4k
37.4k
37.4k
37.4k
161k 161k 146k 161k 146k 146k
115k 115k 104k 115k 104k 104k
104k 115k 104k 104k 104k 104k c 5
20.5k
186k
139k
950
80
39.2k
39.2k
39.2k
39.2k
35.5k
39.2k
146k 146k 161k 146k 161k 161k
104k 104k 115k 104k 115k 115k
115k 104k 115k 115k 115k 115k
[1] A. Abderrahman, E. Cerny, and B. Kaminska, “Optimization Based Multifrequency Test Generation for Analog Circuits,” Journal of Electronic
Testing: Theory and Applications, vol. 9, pp. 59–73, Mar 1996.
[2] S. Chakravarty and P. J. Thadikaran, Introduction to IDDQ Testing.
Kluwer Academic Publishers, 1997.
[3] S. Cherubal and A. Chatterjee, “Test Generation Based Diagnosis of
Circuit
Parameter
R
1 down 15%
R
2 down 10%
R
3 up 5%
R
4 down 15%
R
5 up 10%
R
7 up 5%
R
11
R
12 up 5% down 5%
Out of bound polynomial coeff.
a
3
, a
4 a
2 a
3 a
0 a
4
None
None
None
Yes
Yes
Yes
Yes
Yes
No
No
No
Fault Out of bound detected?
V-Transform coeff.
V
V c 1
V c
0 c
2
, V
V
V c
0
V c
0
V c
1
V c
4 c
4
− V c
4
, V c 2 c
5
, V c 3
− V c
4
, V c
4
, V
, V
, V c
2 c
5 c
5
Device Parameters for Analog Circuits,” in Proc. Design, Automation
and Test in Europe Conf., pp. 596–602, 2001.
[4] G. Devarayanadurg and M. Soma, “Analytical Fault Modeling and Static
Test Generation for Analog ICs,” in Proc. Int. Conf. on Computer-Aided
Design, pp. 44–47, Nov. 1994.
[5] S. L. Farchy, E. D. Gadzheva, L. H. Raykovska, and T. G. Kouyoumdjiev, “Nullator-Norator Approach to Analogue Circuit Diagnosis Using
General-Purpose Analysis Programmes,” Int. Journal of Circuit Theory
and Applications, vol. 23, pp. 571–585, Dec. 1995.
[6] R. K. Gulati and C. F. Hawkins, IDDQ Testing of VLSI Circuits. Kluwer
Academic Publishers, 1993.
[7] W. L. Lindermeir, H. E. Graeb, and K. J. Antreich, “Analog Testing by
Characteristic Observation Inference,” IEEE Trans. Comp. Aided Design, vol. 23, pp. 1353–1368, June 1999.
[8] R. Rajsuman, IDDQ Testing for CMOS VLSI. Artech House, 1995.
[9] J. Figueras, “Possibilities and Limitations of IDDQ Testing in Submicron
CMOS,” in Proc. Innovative Systems in Silicon Conf., pp. 174–185, Oct.
1997.
[10] Z. Guo and J. Savir, “Analog Circuit Test Using Transfer Function
Coefficient Estimates,” in Proc. Int. Test Conf., pp. 1155–1163, Oct.
2003.
[11] V. Panic, D. Milovanovic, P. Petkovic, and V. Litovski, “Fault Location in
Passive Analog RC Circuits by measuring Impulse Response,” in Proc.
20th Int. Conf. on Microelectronics, pp. 12–14, Sept. 1995.
[12] S. Sindia, V. Singh, and V. D. Agrawal, “Polynomial Coefficient Based
DC Testing of Non-Linear Analog Circuits,” in Proc. 19th ACM Great
Lakes Symp. on VLSI, May 2009.
[13] R. Kondagunturi, E. Bradley, K. Maggard, and C. Stroud, “Benchmark
Circuits for Analog and Mixed-Signal Testing,” in Proc. 20th Int. Conf.
on Microelectronics, pp. 217–220, Mar. 1999.
Fault detected?
Yes
Yes
Yes
Yes
Yes
Yes
Yes
Yes