CLP-based multifrequency test generation for analog circuits

In our previous work we elaborated a multifrequency test generation method (TPG) for detecting parametric and catastrophic faults in linear analog circuits. The method was formulated as an optimization problem which was solved by Sequential Quadratic Programming (SQP), a non-linear programming method available in MATLAB. Such standard optimization methods are based on and process local information and consequently cannot guarantee a global optimum. In this paper we propose a method based on Constraint Logic Programming (CLP) that solves the optimization problem in TPG as a series of Constraint Satisfaction Problems (CSPs). Our TPG method is fully automatic and provides right and guaranteed bounds on the global optima of a nonlinear function. The TPG method was implemented in CLP(BNR) Prolog. First, we illustrate the effectiveness of our approach on a number of nonlinear functions known to be difficult, and then we apply it to a realistic electronic circuit in the context of TPG. The two methods produce the same results except for one case where SQP falls into a local minimum. This could lead to a wrong test selection. Moreover, while the TPG took over a week of work using SQP, it was solved in a matter of minutes using CLP.

[1]  Sheng-Jen Tsai,et al.  Test Vector Generation for Linear Analog Devices , 1991, 1991, Proceedings. International Test Conference.

[2]  André Vellino,et al.  Constraint Arithmetic on Real Intervals , 1993, WCLP.

[3]  Ramon E. Moore.  Methods and applications of interval analysis , 1979, SIAM studies in applied mathematics.

[4]  Thomas F. Coleman,et al.  Optimization Toolbox User's Guide , 1998 .

[5]  Ramon E. Moore,et al.  Inclusion functions and global optimization II , 1988, Math. Program..

[6]  A. Sangiovanni-Vincentelli,et al.  Optimal test set design for analog circuits , 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

[7]  Bozena Kaminska,et al.  LIMSoft: automated tool for design and test integration of analog circuits , 1996, Proceedings International Test Conference 1996. Test and Design Validity.

[8]  Abhijit Chatterjee,et al.  Fault-based automatic test generator for linear analog circuits , 1993, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).

[9]  Alan K. Mackworth.  Consistency in Networks of Relations , 1977, Artif. Intell..

[10]  S. Skelboe,et al.  True worst-case analysis of linear electrical circuits by interval arithmetic , 1979 .

[11]  Bozena Kaminska,et al.  Analog circuit testing based on sensitivity computation and new circuit modeling , 1993, Proceedings of IEEE International Test Conference - (ITC).

[12]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..

[13]  Peter J. Stuckey,et al.  Introduction to Constraint Logic Programming , 1998 .

[14]  E. Hansen.  Global optimization using interval analysis — the multi-dimensional case , 1980 .

[15]  Valeri Mladenov,et al.  Interval mathematics algorithms for tolerance analysis , 1988 .

[16]  Mani Soma,et al.  Analytical fault modeling and static test generation for analog ICs , 1994, ICCAD.

[17]  Bozena Kaminska,et al.  Optimization-based multifrequency test generation for analog circuits , 1996, J. Electron. Test..

[18]  Eldon Hansen,et al.  Global optimization using interval analysis , 1992, Pure and applied mathematics.

[19]  B. Kaminska,et al.  An integrated approach for analog circuit testing with a minimum number of detected parameters , 1994, Proceedings., International Test Conference.

[20]  Linda S. Milor,et al.  Detection of catastrophic faults in analog integrated circuits , 1989, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[21]  Alberto L. Sangiovanni-Vincentelli,et al.  Minimizing production test time to detect faults in analog circuits , 1994, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..