Abstract
This paper develops a new formal technique to verify the frequency response of analog circuits using global optimization techniques. Since simulation-based approaches are unable to cover the design space, there is a need for formal approaches to verify large circuits. Drawing parallels from the digital domain, the verification problem in the analog domain is modeled as a non-linear optimization problem and solved using global optimization techniques by ensuring that the implementation response is bounded within an envelope around the specification. We also address the problem of verifying frequency response under the influence of parameter variations. Direct as well as indirect techniques are illustrated using accurate frequency response models. Experimental results are presented to show the effectiveness of the proposed methodology.
Similar content being viewed by others
References
P. Allen and D. Holberg, CMOS Analog Circuit Design, Holt, Rinehart and Winston, 1987.
B.A.A. Antao and A.J. Brodersen, “Behavioral Simulation for Analog System Design Verification,” IEEE Trans. VLSI Systems, vol. 3,no. 3, pp. 417-429, Sept. 1995.
B.A. Antao and F.M. El-Turky, “Automatic Analog Model Generation For Behavioral Simulation,” in Proc. IEEE Custom Integ. Circuits Conf., 1992, pp. 12.2.1-12.2.4.
A. Balivada, Y. Hoskote, and J.A. Abraham, “Verification of Transient Response of Linear Analog Circuits,” in Proc. IEEE VTS, 1995, pp. 42-47.
M. Bjorkman and K. Holmstrom, “Global Optimization Using the Direct Algorithm in Matlab,” Advanced Modeling and Optimization, vol. 1,no. 2, pp. 17-37, 1999.
O. Coudert, C. Berthet, and J. Madre, “Verification of Sequential Machines Using Boolean Functional Vectors,” in VLSI Design Methods II, L. Claesen (Ed.), 1990, pp. 179-196.
A. Ghosh and R. Vemuri, “Formal Verification of Synthesized Analog Designs,” in Proc. IEEE Int. Conf. Computer Design, 1999, pp. 40-45.
L. Hedrich and E. Barke, “A Formal Approach to Nonlinear Analog Circuit Verification,” in Proc. IEEE Conf. CAD, 1995, pp. 123-127.
B. Kaminska, K. Arabi, I. Bell, J.L. Huertas, B. Kim, A. Rueda, and M. Soma, “Analog and Mixed-Signal Benchmark Circuits—First release,” in Proc. IEEE ITC, 1997, pp. 183-190. www.ee.washington.edu/mad/madtest.html
E.W.Y Liu, H.C. Chang, A.L. Sangiovanni-Vincentelli, “Analog System Verification in the Presence of Parasitics using Behavioral Simulation,” in Proc. Design Automation Conf., 1993, pp. 159-162.
P. Mandal and V. Visvanathan, “Macromodeling of the AC Characteristics of CMOS Op-Amps,” in Proc. IEEE International Conference CAD, 1993, pp. 334-340.
M.C. Mcfarland, “Formal Verification of Sequential Hardware: A Tutorial,” IEEE Trans. CAD, vol. 12,no. 5, May 1993.
Meta-Software, HSPICE user's manual, Release 1998.2, July 1998.
S. Seshadri, “Verification of Analog Circuits,” Master's Thesis, The University of Texas at Austin, May, 2000.
S. Seshadri and J.A. Abraham, “Frequency Response Verification of Analog Circuits using Global Optimization Techniques,” in Proc. Intl. Mixed-Signal Test Workshop, June 2000.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Seshadri, S., Abraham, J.A. Frequency Response Verification of Analog Circuits Using Global Optimization Techniques. Journal of Electronic Testing 17, 395–408 (2001). https://doi.org/10.1023/A:1012751118746
Issue Date:
DOI: https://doi.org/10.1023/A:1012751118746