Skip to main content
SpringerLink
Log in

Applications of Symbolic Analysis in the Design of Analog Circuits

  • Chapter
Analog/RF and Mixed-Signal Circuit Systematic Design

Part of the book series: Lecture Notes in Electrical Engineering ((LNEE,volume 233))

Abstract

The use of symbolic techniques in the realization of efficient automated tools for designing analog circuits is described in this chapter. In particular, three phases of the design cycle of an integrated circuit are considered: the simulation phase, the design centering phase, and the fault diagnosis phase. A biquadratic RC active filter was chosen in order to show the potency of several symbolic programs developed by the authors for particular use in these three phases of analog circuit design.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Gielen, G., Wambacq, P., Sansen, W.M.: Symbolic analysis methods and applications for analog circuits: a tutorial overview. Proceedings of the IEEE 82(2), 287–304 (1994)

    Article  Google Scholar 

  2. Wambacq, P., Dobrovolny, P., Gielen, G., Sansen, W.: Symbolic analysis of large analog circuits using a sensitivity-driven enumeration of common spanning trees. IEEE Transactions on Circuits and Systems - II: Analog and Digital Signal Processing 45(10), 1342–1350 (1998)

    Article  Google Scholar 

  3. Gielen, G., Wambacq, P., Sansen, W.M.: Symbolic network analysis methods for practical analog integrated circuits: a survey. IEEE Transactions on Circuits and Systems - II: Analog and Digital Signal Processing 45(10), 1331–1341 (1998)

    Article  Google Scholar 

  4. Daems, W., Verhaegen, W., Wambacq, P., Gielen, G., Sansen, W.: Evaluation of error-control strategies for the linear symbolic analysis of analog integrated circuits. IEEE Transactions on Circuits and Systems - I: Fundamental Theory and Applications 46(5), 594–606 (1999)

    Article  Google Scholar 

  5. Verhaegen, W., Gielen, G.: Efficient DDD-based symbolic analysis of linear analog circuits. IEEE Transactions on Circuits and Systems - II: Analog and Digital Signal Processing 49(7), 474–487 (2002)

    Article  Google Scholar 

  6. Vanassche, P., Gielen, G., Sansen, W.: Symbolic modeling of periodically time-varying systems using harmonic transfer matrices. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 21(9), 1011–1023 (2002)

    Article  Google Scholar 

  7. Daems, W., Gielen, G., Sansen, W.: Circuit simplification for symbolic analysis of analog integrated circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 21(4), 395–407 (2002)

    Article  Google Scholar 

  8. Fernandez, F.V., Rodriguez-Vazquez, A., Huertas, J.L., Gielen, G.: Symbolic Analysis Techniques – Applications to Analog Design Automation. IEEE Press, New York (1998)

    Book  Google Scholar 

  9. Lin, P.M.: Symbolic Network Analysis. Elsevier, New York (1991)

    MATH  Google Scholar 

  10. Gielen, G., Walscharts, H., Sansen, W.: ISAAC: A symbolic simulator for analog integrated circuits. IEEE Journal Solid-State Circuits 24(6), 1587–1597 (1989)

    Article  Google Scholar 

  11. Swings, K., Sansen, W.: ARIADNE: A constraint-based approach to computer-aided synthesis and modeling of analog integrated circuits. Analog Integrated Circuits and Signal Processing 3(3), 197–215 (1993)

    Article  Google Scholar 

  12. Li, B., Gu, D.: SSCNAP: A program for symbolic analysis of switched capacitor circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 11(3), 334–340 (1992)

    Article  Google Scholar 

  13. Cheng, Y., Fujii, R.: SAUCES: A sensitivity analysis program for analog circuit design. In: Proc. IEEE International Symposium on Circuits and Systems, San Diego, pp. 1175–1178 (May 1992)

    Google Scholar 

  14. Fernandez, F.V., Rodriguez-Vazquez, A., Huertas, J.L.: ASAP: A program for the symbolic analysis of analog integrated circuits. In: Proc. EUROASIC Conference, Paris, France, May 29-June 1, pp. 80–85 (1990)

    Google Scholar 

  15. DeGrauwe, M., Goffart, B., Joss, B., Rijmenants, J., Meixenberger, C., Schwarz, T., Litsios, J., Seda, S., Pierre, M., Jongsma, J., Scarnera, C., Hornstein, T., Deck, P.: The ADAM analog design automation system. In: Proc. IEEE International Symposium on Circuits and Systems, New Orleans, pp. 820–822 (May 1990)

    Google Scholar 

  16. Wierzba, G.M., Srivastava, A., Joshi, V., Noren, K.V., Svoboda, J.A.: SSPICE – A symbolic SPICE program for linear active circuits. In: Proc. 32nd Midwest Symposium on Circuits and Systems, Champaign, IL, August 14-16, pp. 1197–1201 (1989)

    Google Scholar 

  17. Liberatore, A., Luchetta, A., Manetti, S., Piccirilli, M.C.: A new symbolic program package for the interactive design of analog circuits. In: Proc. IEEE International Symposium on Circuits and Systems (ISCAS 1995), Seattle WA, April 30-May 3, pp. 2209–2212 (1995)

    Google Scholar 

  18. Luchetta, A., Manetti, S., Reatti, A.: SAPWIN - A symbolic simulator as a support in electrical engineering education. IEEE Transactions on Education and Enclosed CD-ROM Issue 44(2), 213–213 (2001)

    Google Scholar 

  19. Huelsman, L.P.: SAPWIN, symbolic analysis program for Windows - PC programs for engineers. IEEE Circuits and Devices Magazine 6(2), 4–6 (1996)

    Article  Google Scholar 

  20. Huelsman, L.P.: Symbolic analysis – A tool for teaching undergraduate circuit theory. IEEE Transaction on Education 39(2), 243–250 (1996)

    Article  Google Scholar 

  21. Fedi, G., Giomi, R., Luchetta, A., Manetti, S., Piccirilli, M.C.: SAPWIN 2.0: a symbolic software tool for educational purposes in analysis and synthesis of analog circuits. In: Proc. of International Conference on System Science and Engineering, ICSSE, Los Angeles, CA, May 16-22, pp. 33–36 (1999)

    Google Scholar 

  22. Grimbleby, J.B.: Algorithm for finding the common spanning trees of two graphs. Electronics Letters 17(13), 470–471 (1981)

    Article  MathSciNet  Google Scholar 

  23. Vlach, J., Singhal, K.: Computer Methods for Circuit Analysis and Design. Van Nostrand Reinhold, New York (1994)

    Google Scholar 

  24. Spence, R., Soin, R.S.: Tolerance Design of Integrated Circuits. Addison-Wesley, Reading (1988)

    Google Scholar 

  25. Styblinski, M.A.: Statistical design optimization. In: Chen, W.K. (ed.) The Circuits and Filters Handbook, ch. 50. CRC Press, Boca Raton (2003)

    Google Scholar 

  26. Graeb, H.E.: Analog Design Centering and Sizing. Springer (2007)

    Google Scholar 

  27. Abdel-Malek, H.L., Hassan, A.-K.S.O., Heaba, M.H.: A boundary gradient search technique and its applications in design centering. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 18(11), 1654–1661 (1999)

    Article  Google Scholar 

  28. Sapatnekar, S.S.: Design by optimization. In: Chen, W.K. (ed.) The Circuits and Filters Handbook, ch. 49. CRC Press, Boca Raton (2003)

    Google Scholar 

  29. Feldman, P., Director, S.W.: Accurate and efficient evaluation of circuit yield and yield gradients. In: Proc. International Conference on Computer-Aided Design, Santa Clara, CA, November 11-14, pp. 120–123 (1991)

    Google Scholar 

  30. Bernardo, M.C., Buck, R., Liu, L., Nazaret, W.A., Sacks, J., Welch, W.J.: Integrated circuit design optimization using a sequential strategy. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 11(3), 361–372 (1992)

    Article  Google Scholar 

  31. Sapatnekar, S.S., Vaidya, P.M., Kang, S.-M.: Convexity-based algorithms for design centering. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 13(12), 1536–1549 (1994)

    Article  Google Scholar 

  32. Abdel-Malek, H.L., Hassan, A.-K.S.O., Heaba, M.H.: The ellipsoidal technique for design centering and region approximation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 10(8), 1006–1014 (1991)

    Article  Google Scholar 

  33. Grasso, F., Manetti, S., Piccirilli, M.C.: SAR: a symbolic program for acceptability region representation in analog circuit design. In: Proc. Xth International Workshop on Symbolic and Numerical Methods, Modeling and Applications to Circuit Design (SM2ACD 2008), Erfurt, Germany, October 7-8, pp. 142–148 (2008)

    Google Scholar 

  34. Grasso, F., Manetti, S., Piccirilli, M.C.: A method for acceptability region representation in analogue linear networks. International Journal of Circuit Theory and Applications 37, 1051–1061 (2009)

    Article  MATH  Google Scholar 

  35. Grasso, F., Manetti, S., Piccirilli, M.C.: A new geometrical approach to design centering of analog circuits. In: Proc. SPIE, Sevilla, vol. 5837, pp. 937–944 (May 2005)

    Google Scholar 

  36. Grasso, F., Manetti, S., Piccirilli, M.C.: A symbolic approach to design centering of analog circuits. Microelectronics Reliability 47(8), 1288–1295 (2007)

    Article  Google Scholar 

  37. Saeks, R.: A measure of testability and its application to test point selection theory. In: Proc. 20th Midwest Symposium on Circuits and Systems, Lubbock, TX, August 15-17, pp. 576–583 (1977)

    Google Scholar 

  38. Sen, N., Saeks, R.: Fault diagnosis for linear systems via multifrequency measurement. IEEE Transactions on Circuits and Systems 26(7), 457–465 (1979)

    Article  MathSciNet  MATH  Google Scholar 

  39. Chen, H.M.S., Saeks, R.: A search algorithm for the solution of multifrequency fault diagnosis equations. IEEE Transactions on Circuits and Systems 26(7), 589–594 (1979)

    Article  MATH  Google Scholar 

  40. Saeks, R., Sen, N., Chen, H.M.S., Lu, K.S., Sangani, S.: Fault analysis in electronic circuits and systems. Technological Report, Institute for Electronics Science, Texas Technological University, Lubbock (1978)

    Google Scholar 

  41. Fedi, G., Manetti, S., Piccirilli, M.C., Starzyk, J.: Determination of an optimum set of testable components in the fault diagnosis of analog linear circuits. IEEE Transactions on Circuits and Systems - I: Fundamental Theory and Applications 46(7), 779–787 (1999)

    Article  Google Scholar 

  42. Fedi, G., Manetti, S., Piccirilli, M.C.: Comments on Linear circuit fault diagnosis using neuromorphic analyzers. IEEE Transactions on Circuits and Systems - II: Analog and Digital Signal Processing 46(4), 483–485 (1999)

    Article  Google Scholar 

  43. Liberatore, A., Manetti, S., Piccirilli, M.C.: A new efficient method for analog circuit testability measurement. In: Proc. IEEE Instrumentation and Measurement Technology Conference, Hamamatsu, Japan, pp. 193–196 (May 1994)

    Google Scholar 

  44. Manetti, S., Piccirilli, M.C.: A singular-value decomposition approach for ambiguity group determination in analog circuits. IEEE Transactions on Circuits and Systems - I: Fundamental Theory and Applications 50(4), 477–487 (2003)

    Article  MathSciNet  Google Scholar 

  45. Fedi, G., Liberatore, A., Luchetta, A., Manetti, S., Piccirilli, M.C.: A symbolic approach to the fault location in analog circuits. In: Proc. IEEE International Symposium on Circuits and Systems (ISCAS 1996), Atlanta, GA, May 14, pp. 810–813 (1996)

    Google Scholar 

  46. Catelani, M., Fedi, G., Giraldi, S., Luchetta, A., Manetti, S., Piccirilli, M.C.: A new symbolic approach to the fault diagnosis of analog circuits. In: Proc. IEEE Instrumentation and Measurements Technical Conference, Brussels, Belgium, June 4-6, pp. 1182–1185 (1996)

    Google Scholar 

  47. Catelani, M., Fedi, G., Giraldi, S., Luchetta, A., Manetti, S., Piccirilli, M.C.: A fully automated measurement system for the fault diagnosis of analog electronic circuits. In: Proc. XIV IMEKO World Congress, Tampere, Finland, June 1-6, pp. 52–57 (1997)

    Google Scholar 

  48. Fedi, G., Luchetta, A., Manetti, S., Piccirilli, M.C.: Multiple fault diagnosis of analog circuits using a new symbolic approach. In: Proc. VI International Workshop on Symbolic Methods and Applications in Circuit Design, Lisbon, Portugal, October 12-13, pp. 139–143 (2000)

    Google Scholar 

  49. Fedi, G., Giomi, R., Luchetta, A., Manetti, S., Piccirilli, M.C.: On the application of symbolic techniques to the multiple fault location in low testability analog circuits. IEEE Transactions on Circuits and Systems - II: Analog and Digital Signal Processing 45(10), 1383–1388 (1998)

    Article  Google Scholar 

  50. Grasso, F., Luchetta, A., Manetti, S., Piccirilli, M.C.: Recent advances in symbolic techniques for analog fault diagnosis. In: Proc. VII International Workshop on Symbolic Methods and Appications in Circuit Design, Sinaia, Romania, 10, October 10-11, pp. 21–24 (2002)

    Google Scholar 

  51. Grasso, F., Luchetta, A., Manetti, S., Piccirilli, M.C.: Symbolic techniques for the selection of test frequencies in analog fault diagnosis. Analog Integrated Circuits and Signal Processing 40(3), 205–213 (2004)

    Article  Google Scholar 

  52. Grasso, F., Manetti, S., Piccirilli, M.C.: An approach to analog fault diagnosis using genetic algorithms. In: Proc. Mediterranean Electrotechnical Conference (MELECON 2004), Dubrovnik, Croatia, May 12-15, pp. 111–114 (2004)

    Google Scholar 

  53. Grasso, F., Luchetta, A., Manetti, S., Piccirilli, M.C.: A method for the automatic selection of test frequencies in analog fault diagnosis. IEEE Transactions on Instrumentation and Measurements 56(6), 2322–2329 (2007)

    Article  Google Scholar 

  54. Manetti, S., Piccirilli, M.C.: Symbolic function approaches for analogue fault diagnosis. In: Sun, Y. (ed.) Test and Diagnosis of Analogue, Mixed-Signal and RF Integrated Circuits, ch. 2. IET-The Institution of Engineering and Technology, London (2008)

    Google Scholar 

  55. Fedi, G., Giomi, R., Manetti, S., Piccirilli, M.C.: A symbolic approach for testability evaluation in fault diagnosis of nonlinear analog circuits. In: Proc. IEEE International Symposium on Circuits and Systems (ISCAS 1998), Monterey, CA, May 31-June 3, pp. 9–12 (1998)

    Google Scholar 

  56. Manetti, S., Piccirilli, M.C.: Symbolic simulators for the fault diagnosis of nonlinear analog circuits. Analog Integrated Circuits and Signal Processing 219, 59–72 (1993)

    Article  Google Scholar 

  57. Luchetta, A., Manetti, S., Piccirilli, M.C.: Critical comparison among some analog fault diagnosis procedures based on symbolic techniques. In: Proc. Design, Automation & Test in Europe (DATE 2002), Paris, France, March 4-8, p. 1105 (2002)

    Google Scholar 

  58. Grasso, F., Luchetta, A., Manetti, S., Piccirilli, M.C.: Symbolic techniques in parametric fault diagnosis of analog circuits. In: Proc. Baltic Electronics Conference (BEC 2002), Tallin, Estonia, October 6-9, pp. 271–274 (2002)

    Google Scholar 

  59. Cannas, B., Fanni, A., Manetti, S., Montisci, A., Piccirilli, M.C.: Neural network-based analog fault diagnosis using testability analysis. Neural Computing & Applications 13(4), 288–298 (2004)

    Article  Google Scholar 

  60. Bushnell, M.L., Agrawal, V.D.: Essentials of Electronic Testing for Digital, Memory and Mixed-Signal VLSI Circuits, ch. 10, p. 310. Kluwer, Norwell (2000)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electronics and Telecommunications, University of Firenze, Florence, Italy

    Francesco Grasso, Antonio Luchetta & Maria Cristina Piccirilli

Authors
  1. Francesco Grasso
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Antonio Luchetta
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Maria Cristina Piccirilli
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Francesco Grasso .

Editor information

Editors and Affiliations

  1. Boite Postale 1069, Sfax, 3018, Tunisia

    Mourad Fakhfakh

  2. , Department of Electronics, INAOE, Luis Enrique Erro 1, Tonantzintla, 72840, Mexico

    Esteban Tlelo-Cuautle

  3. , IMSE-CNM, CSIC, Instituto de Microelectrónica de Sevilla, c/ Américo Vespucio s/n, Seville, 41092, Spain

    Rafael Castro-Lopez

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Grasso, F., Luchetta, A., Piccirilli, M.C. (2013). Applications of Symbolic Analysis in the Design of Analog Circuits. In: Fakhfakh, M., Tlelo-Cuautle, E., Castro-Lopez, R. (eds) Analog/RF and Mixed-Signal Circuit Systematic Design. Lecture Notes in Electrical Engineering, vol 233. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36329-0_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-36329-0_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-36328-3

  • Online ISBN: 978-3-642-36329-0

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation