A formal approach to verification of linear analog circuits with parameter tolerances

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 1998, Pages 649-654

  Hedrich, Lars ^a   Barke, Erich ^a  

^a LEIBNIZ UNIVERSITY HANNOVER   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL APPROACH; FORMAL VERIFICATIONS; FREQUENCY INTERVALS; INTERVAL ARITHMETIC; LINEAR ANALOG CIRCUITS; PARAMETER TOLERANCE; VALUE SETS;

ANALOG CIRCUITS;

EID: 0012110703     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.1998.655927     Document Type: Conference Paper

References (15)

1. St.W. Director, P. Feldmann, K. Krishna, "Optimization of Parametric Yield: A Tutorial", Proc. Custom Integrated Circuits Conference, pp. 3.1.1-3.1.8, 1992
2. A. Dharchoudhury, S.M. Kang, "Worst-Case Analysis and Optimization of VLSI Circuit Performances", IEEE Trans, on Computer-Aided Design, vol. 14, no. 4, pp 481-192, 1993
3. K.J. Antreich, H.E. Graeb, C.U. Wieser, "Circuit Analysis and Optimization Driven by Worst-Case Distances", IEEE Trans, on Computer-Aided Design, vol. 13, no.l, pp. 57-71, 1994
4. G.E. Muller-L., "Limit Parameters: The General Solution of the Worst-Case Problem of the Linearized Case", IEEE Intern. Symp. on Circuits and Systems, vol. 3, pp. 2256-2259, 1990
5. St.W. Director, G.D. Hachtel, "The Simplical Approximation Approach to Design Centering", IEEE Trans, on Circuits and Systems, vol. 24, no. 7, pp. 363-372, 1977
6. G. Gielen, W. Sansen, "Symbolic Analysis for Automated Design of Analog Integrated Circuits", Kluwer Academic Publishers, Boston, 1991
7. A. Levkovich, E. Zeheb, N. Cohen, "Frequency Response Envelopes of a Family of Uncertain Continuous-Time Systems", IEEE Trans, on Circuits and Systems, vol. 42, no. 3, pp. 156-16, May 1995
8. S.P. Bhattacharyya, H. Chapellat, L.H. Keel, "Robust Control: The Parametric Approach", Prentice Hall, London, 1995
9. P.-O. Gutman; C. Baril, L. Neumann, "An Algorithm for Computing Value Sets of Uncertain Transfer Functions in Factored Real Form ", IEEE Trans, on Automatic Control, vol. 39, no. 6, pp. 1269-73, 1994
10. R.E. Moore, "Interval analysis", Prentice Hall, Englewood Cliffs, 1966
11. G. Alefeld, J. Herzberger, "Introduction to interval computations", Academic Press, New York, 1983
12. E.P. Oppenheimer, A.N. Michel, "Application of Interval Analysis Techniques to Linear Systems: Part I-HI", IEEE Trans, on Circuits and Systems, vol. 35, no. 9-10, 1988
13. E.G. Eszter, R.S. Sanchez Pena, "Value set boundary computation of uncertainty structures", Proc. of the American Control Conference, pp. 2210-13, 1992
14. Maple V, Waterloo Maple Software, University of Waterloo, Version 5.2, 1994
15. R. Tempo, M. Barberis, M. Casales, D. Cavallera, "Robust Stability with Multilinear Pertubations: How Good is the Convex Hull Approximation?", Proc. of the Conf. on Decision and Control, pp. 861-864, Dec 1990