Bibliography

In this section you will find a list of references to publications from the developers of Analog Insydes and to publications on symbolic circuit analysis in general. The list is far from complete, so please notify me if you have suggestions for updates and additions.

Publications from the Developers of Analog Insydes

Books

  1. Hennig, E., Symbolic Approximation and Modeling Techniques for Analysis and Design of Analog Circuits, Shaker Verlag, Aachen, 2000
  2. Sommer, R., Konzepte und Verfahren für den rechnergestützten Entwurf von Analogschaltungen, Fortschritt-Berichte, Reihe 20, Nr. 114, VDI-Verlag, Düsseldorf, 1994

Journal Papers

  1. Hennig, E., “Matrix Approximation Techniques for Symbolic Extraction of Poles and Zeros”, Int. J. Analog Integrated Circuits and Signal Processing, vol. 31, no. 2, May 2002, pp. 81-100
  2. Sommer, R., E. Hennig, G. Dröge, and E.-H. Horneber, “Equation-Based Symbolic Approximation by Matrix Reduction with Quantitative Error Prediction”, Alta Frequenza – Rivista di Elettronica, vol. 5, no. 6, Dec. 1993, pp. 29–37

Conference and Workshop Papers

  1. Halfmann, T., E. Hennig, and M. Thole, “Behavioral Modeling and Transient Analysis with Analog Insydes”, in Proc. 5th Int. Workshop on Symbolic Methods and Applications in Circuit Design 1998 (SMACD’98), Kaiserslautern (Germany), Oct. 1998, pp. 49–56
  2. Halfmann, T., R. Sommer, and T. Wichmann, “Application of Symbolic Circuit Analysis: An Overview and Recent Results in Nonlinear Model Generation”, in Proc. 10th Int. Symposium on Theoretical Electrical Engineering (ISTET’99), Magdeburg (Germany), Sept. 1999
  3. Hennig, E. and R. Sommer, “Application of Computer Algebra Methods to Analog Circuit Sizing”, in Proc. European Conference on Circuit Theory and Design 1995 (ECCTD’95), Istanbul (Turkey), Aug. 1995, pp. 83–86
  4. Hennig, E. and R. Sommer, “Approximate Symbolic Pole/Zero Extraction by Equation-Based Simplification Using Eigenvalue Shift Prediction”, in Proc. IEEE Int. Symposium on Circuits and Systems 1998 (ISCAS’98), Monterey (USA), Jun. 1998, vol. VI, pp. 25–28
  5. Hennig, E., M. Wiese, and R. Sommer, “Symbolic Pole/Zero Approximation Using Eigenvalue Shift Prediction”, in Proc. 5th Int. Workshop on Symbolic Methods and Applications in Circuit Design 1998 (SMACD’98), Kaiserslautern (Germany), Oct. 1998, pp. 29–35
  6. Hennig, E., J. M. Tweer, and R. Sommer, “Enhanced Symbolic Matrix Approximation Techniques”, in Proc. 5th Int. Workshop on Symbolic Methods and Applications in Circuit Design 1998 (SMACD’98), Kaiserslautern (Germany), Oct. 1998, pp. 199–206
  7. Hennig, E. and R. Sommer, “A Reliable Iterative Error Tracking Method for Approximate Symbolic Pole/Zero Analysis”, in Proc. European Conference on Circuit Theory and Design 2001 (ECCTD’01), Espoo (Finland), Aug. 2001
  8. Kern, S., R. Vahrmann, M. Eichin, A. Dittrich, R. Sommer, and E. Hennig, “Evaluation of Analog Insydes for Use in Integrated Analog Circuit Design”, in Proc. 4th Int. Workshop on Symbolic Methods and Applications in Circuit Design 1996 (SMACD’96), Leuven (Belgium), Oct. 1996
  9. Kern, S., A. Dittrich, R. Vahrmann, M. Eichin, R. Sommer, and E. Hennig, “Symbolic Analysis in Analog Integrated Circuit Design: An Application Example”, in Proc. IEEE Int. Symposium on Circuits and Systems 1997 (ISCAS’97), Hongkong, June 1997, pp. 1632–1635
  10. Sommer, R., E. Hennig, and G. Dröge, “On Setting Up Network Equations – An Overview of Techniques and Problems”, in Proc. 2nd Int. Workshop on Symbolic Methods and Applications in Circuit Design 1992 (SMACD’92), Florence (Italy), Oct. 1992, pp. 95–108
  11. Sommer, R. and E. Hennig, “Aspects of Symbolic Approximation and Nonlinear Circuit Analysis”, in Proc. 4th Int. Workshop on Symbolic Methods and Applications in Circuit Design 1996 (SMACD’96), Leuven (Belgium), Oct. 1996
  12. Sommer, R., M. Thole, and E. Hennig, “A Generic Modeling Strategy Combining Symbolic and Numeric Analysis”, in Proc. 5th Int. Workshop on Symbolic Methods and Applications in Circuit Design 1998 (SMACD’98), Kaiserslautern (Germany), Oct. 1998, pp. 13–28
  13. Sommer, R. and E. Hennig, “Symbolic Circuit Analysis and Computer Algebra in Engineering Education”, in Proc. Int. Conference on Simulation and Multimedia in Engineering Education 1999 (ICSEE’99), San Francisco (USA), Jan. 1999, pp. 37–42
  14. Wichmann, T., R. Popp, W. Hartong, and L. Hedrich, “On the Simplification of Nonlinear DAE Systems in Analog Circuit Design”, in Computer Algebra in Scientific Computing, edited by V. G. Ganzha, E. W. May, and E. V. Vorozhtsow, Springer, Berlin (Germany), 1999, pp. 485–498

Publications About Symbolic Circuit Analysis

Books

  1. Dröge, G., Symbolische Verfahren zur Entwurfsunterstützung analoger Schaltungen, Shaker Verlag, Aachen, 1997
  2. Fernández, F. V., A. Rodríguez-Vázquez, J. L. Huertas, and G. Gielen, Symbolic Analysis Techniques – Applications to Analog Design Automation, IEEE Press, New York, 1998
  3. Gielen, G. and W. Sansen, Symbolic Analysis for Automated Design of Analog Integrated Circuits, Kluwer Academic Publishers, Boston, 1991
  4. Kole, M. E., Algorithms for Symbolic Circuit Analysis Based on Determinant Calculations, Ph.D. dissertation, University of Twente, Twente, 1996
  5. Lin, P. M., Symbolic Network Analysis, Elsevier, Amsterdam, 1991
  6. Nebel, G., Symbolische Analyse analoger BiCMOS-Schaltungen, Fortschritt-Berichte VDI, Reihe 9, Nr. 213, VDI-Verlag, Düsseldorf, 1995
  7. Wambacq, P., Symbolic Analysis of Large and Weakly Nonlinear Analog Integrated Circuits, Ph.D. dissertation, Katholieke Universiteit Leuven, Leuven (Belgium), 1996

Journal Papers

  1. Amadori, M., R. Guerrieri, and E. Malavasi, “Symbolic Analysis of Simplified Transfer Functions”, Int. J. Analog Integrated Circuits and Signal Processing, vol. 3, no. 1, 1993, pp. 9–29
  2. Borchers, C., “Symbolic Behavioral Model Generation of Nonlinear Analog Circuits”, IEEE Trans. on Circuits and Systems – II, vol. CAS-45, no. 10, Oct. 1998, pp. 1362–1371
  3. Dmytryshyn, R. and A. Kubaszek, “Multimethodical Approach and Generation of Sequence of Expressions for Acceleration of Repetitive Analysis of Analog Circuits”, Int. J. Analog Integrated Circuits and Signal Processing, vol. 31, no. 2, May 2002, pp. 147–160
  4. Fedi, G., R. Giomi, A. Luchetta, S. Manetti, and M. C. Piccirilli, “On the Application of Symbolic Techniques to the Multiple Fault Location in Low Testability Analog Circuits”, IEEE Trans. on Circuits and Systems – II, vol. CAS-45, no. 10, Oct. 1998, pp. 1383–1388
  5. Fernández, F. V., A. Rodríguez-Vázquez, and J. L. Huertas, “Interactive AC Modeling and Characterization of Analog Circuits via Symbolic Analysis”, Int. J. Analog Integrated Circuits and Signal Processing, vol. 1, no. 3, Nov. 1991, pp. 183–208
  6. Fernández, F. V., A. Rodríguez-Vázquez, J. D. Martín, and J. L. Huertas, “Formula Approximation for Flat and Hierarchical Symbolic Analysis”, Int. J. Analog Integrated Circuits and Signal Processing, vol. 3, no. 1, 1993, pp. 43–85
  7. Fernández, F. V., A. Rodríguez-Vázquez, J. D. Martín, and J. L. Huertas, “Approximating Nested Format Symbolic Expressions”, Alta Frequenza – Rivista di Elettronica, vol. 5, no. 6, Dec. 1993, pp. 38–47
  8. Fernández, F. V., O. Guerra, J. D. Rodríguez-García, and A. Rodríguez-Vázquez, “Symbolic Analysis of Large Analog Integrated Circuits: The Numerical Reference Generation Problem”, IEEE Trans. on Circuits and Systems – II, vol. CAS-45, no. 10, Oct. 1998, pp. 1351–1361
  9. Floberg, H. and S. Mattison, “Computer-Aided Symbolic Circuit Analysis CASCA”, Alta Frequenza – Rivista di Elettronica, vol. 5, no. 6, Dec. 1993, pp. 24–28
  10. Gielen, G., H. Walscharts, and W. Sansen, “ISAAC: A Symbolic Simulator for Analog Integrated Circuits”, IEEE J. Solid-State Circuits, vol. SC-24, no. 6, Dec. 1989, pp. 1587–1597
  11. Gielen, G., P. Wambacq, and W. Sansen, “Symbolic Analysis Methods and Applications for Analog Circuits: A Tutorial Overview”, Proceedings of the IEEE, vol. 82, no. 2, Feb. 1994, pp. 287–304
  12. Guerra, O., J. D. Rodríguez-García, F. V. Fernández, and A. Rodríguez-Vazquez, “A Symbolic Pole/Zero Extraction Methodology Based on Analysis of Circuit Time Constants”, Int. J. Analog Integrated Circuits and Signal Processing, vol. 31, no. 2, May 2002, pp. 101–118
  13. Guerra, O., E. Roca, F. V. Fernández, and A. Rodríguez-Vazquez, “Approximate Symbolic Analyis of Hierarchically Decomposed Analog Circuits”, Int. J. Analog Integrated Circuits and Signal Processing, vol. 31, no. 2, May 2002, pp. 131–146
  14. Haley, S. B. and P. J. Hurst, “Pole and Zero Estimation in Linear Circuits”, IEEE Trans. on Circuits and Systems, vol. CAS-36, no. 6, June 1989, pp. 838–845
  15. Hassoun, M. M. and P. Atawale, “Hierarchical Symbolic Analysis on an nCube Multi-Processor”, Alta Frequenza – Rivista di Elettronica, vol. 5, no. 6, Dec. 1993, pp. 56–64
  16. Hsu, J. J. and C. Sechen, “DC Small-Signal Symbolic Analysis of Large Analog Integrated Circuits”, IEEE Trans. on Circuits and Systems – I, vol. CAS-41, no. 12, Dec. 1994, pp. 817–828
  17. Konczykowska, A., P. Rozes, and M. Bon, “Parameter Extraction of Semiconductor Devices Electrical Models Using Symbolic Approach”, Alta Frequenza – Rivista di Elettronica, vol. 5, no. 6, Dec. 1993, pp. 3–5
  18. Shah, J. C., A. A. Younis, S. S. Sapateknar, and M. M. Hassoun, “An Algorithm for Simulating Power/Ground Networks using Padé Approximants and its Symbolic Implementation”, IEEE Trans. on Circuits and Systems – II, vol. CAS-45, no. 10, Oct. 1998, pp. 1372–1382
  19. Starzyk, J. A. and A. Konczykowska, “Flowgraph Analysis of Large Electronic Networks”, IEEE Trans. on Circuits and Systems, vol. CAS-33, no. 3, March 1986, pp. 302-315
  20. Verhaegen, W. and G. Gielen, “Symbolic Determinant Decision Diagrams and Their Use for Symbolic Modeling of Linear Analog Integrated Circuits”, Int. J. Analog Integrated Circuits and Signal Processing, vol. 31, no. 2, May 2002, pp. 190–130
  21. Wambacq, P., G. Gielen, and W. Sansen, “Approximation During Expression Generation in Symbolic Analysis of Analog ICs”, Alta Frequenza – Rivista di Elettronica, vol. 5, no. 6, Dec. 1993, pp. 48–55
  22. Wambacq, P., “Efficient Symbolic Computation of Approximate Small-Signal Characteristics”, IEEE J. Solid-State Circuits, vol. 30, no. 3, March 1995, pp. 327–330
  23. Wambacq, P., G. Gielen, and W. Sansen, “Symbolic Network Analysis Methods for Practical Analog Integrated Circuits: A Survey”, IEEE Trans. on Circuits and Systems – II, vol. CAS-45, no. 10, Oct. 1998, pp. 1131–1341
  24. Wambacq, P., P. Dobrovolný, G. Gielen, and W. Sansen, “Symbolic Analysis of Large Analog Circuits Using a Sensitivity-Driven Enumeration of Common Spanning Trees”, IEEE Trans. on Circuits and Systems – II, vol. CAS-45, no. 10, Oct. 1998, pp. 1342–1350
  25. Wen, C., H. Floberg, and Q. Shui-Sheng, “Symbolic Steady-State Analysis for Strongly Nonlinear Circuits and Systems”, Int. J. Analog Integrated Circuits and Signal Processing, vol. 31, no. 2, May 2002, pp. 177–184
  26. Yu, Q. and C. Sechen, “A Unified Approach to the Approximate Symbolic Analysis of Large Analog Integrated Circuits”, IEEE Trans. on Circuits and Systems – I, vol. CAS-43, no. 8, August 1996, pp. 656–669
  27. Yu, Q. and C. Sechen, “Efficient Approximation of Symbolic Network Functions Using Matroid Intersection Algorithms”, IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, vol. 16, no. 10, Oct. 1997, pp. 1073–1081

Conference and Workshop Papers

  1. Borchers, C., R. Sommer, and E. Hennig, “On the Symbolic Calculation of Nonlinear Circuits“, in Proc. IEEE Int. Symposium on Circuits and Systems 1996 (ISCAS’96), Atlanta (USA), May 1996, pp. 719–722
  2. Borchers, C., “Symbolic Behavioral Modeling of Nonlinear Analog Circuits”, in Proc. 4th Int. Workshop on Symbolic Methods and Applications in Circuit Design 1996 (SMACD’96), Leuven (Belgium), Oct. 1996
  3. Chang, S. M. and G. M. Wierzba, “Symbolic Sensitivity Analysis Using SSPICE”, in Proc. 34th Midwest Symposium on Circuits and Systems 1991 (MWSCAS’91), 1991, pp. 1043–1046
  4. Chang, S. M., J. F. MacKay, and G. M. Wierzba, “Matrix Reduction and Numerical Approximation During Computation Techniques for Symbolic Analog Circuit Analysis”, in Proc. IEEE Int. Symposium on Circuits and Systems 1992 (ISCAS’92), San Diego (USA), May 1992, pp. 1153–1156
  5. Constantinescu, F. and M. Nitescu, “A New Approach to Symbolic Pole Computation”, in Proc. European Conference on Circuit Theory and Design 1995 (ECCTD’95), Istanbul (Turkey), Aug. 1995, pp. 655–658
  6. Constantinescu, F. and M. Nitescu, “Computation of Symbolic Pole/Zero Expressions for Analog Circuit Design”, in Proc. 4th Int. Workshop on Symbolic Methods and Applications in Circuit Design 1996 (SMACD’96), Leuven (Belgium), Oct. 1996
  7. Dobrovolný, P., P. Wambacq, G. Gielen, and W. Sansen, “Efficient Symbolic Analysis of Large Analog Circuits Using Sensitivity-Driven Ranking of Matroid Intersections”, in Proc. IEEE Int. Symposium on Circuits and Systems 1998 (ISCAS’98), Monterey (USA), June 1998
  8. Dorel, F. and M. Declercq, “A Prototype Tool for the Design Oriented Symbolic Analysis of Analog Circuits”, in Proc. Custom Integrated Circuits Conference 1992 (CICC’92), Boston (USA), 1992, pp. 12.5.1–12.5.4
  9. Dröge, G., R. Sommer, and E.-H. Horneber, “Obtaining Compact Network Equations by Reduction of Matrices”, in Proc. 2nd Int. Workshop on Symbolic Methods and Applications in Circuit Design 1992 (SMACD’92), Florence (Italy), Oct. 1992, pp. 83–93
  10. Dröge, G. and E.-H. Horneber, “Symbolic Calculation of Poles and Zeros”, in Proc. 4th Int. Workshop on Symbolic Methods and Applications in Circuit Design 1996 (SMACD’96), Leuven (Belgium), Oct. 1996
  11. Dröge, G., T. Czysz, and E.-H. Horneber, “Symbolic Pole and Zero Estimation for Circuit Design”, in Proc. 3rd IEEE Int. Conference on Electronics, Circuits, and Systems 1996 (ICECS’96), Rhodos (Greece), Oct. 1996, pp. 93–96
  12. Fernández, F. V., A. Rodríguez-Vázquez, and J. L. Huertas, “A Tool for Symbolic Analysis of Analog Integrated Circuits Including Pole/Zero Extraction”, in Proc. 10th European Conference on Circuit Theory and Design 1991 (ECCTD’91), Copenhagen (Denmark), July 1991, pp. 752–761
  13. Fernández, F. V., A. Rodríguez-Vázquez, and J. L. Huertas, “Design and Applications of Symbolic Analysis Tools for Analog Integrated Circuits”, in Proc. 1st Int. Workshop on Symbolic Methods and Applications in Circuit Design 1991 (SMACD’91), Bagneux (France), Oct. 1991
  14. Fernández, F. V., A. Rodríguez-Vázquez, and J. L. Huertas, “An Advanced Symbolic Analyzer for the Automatic Generation of Analog Circuit Design Equations”, in Proc. IEEE Int. Symposium on Circuits and Systems 1991 (ISCAS’91), 1991, pp. 810–813
  15. Fernández, F. V., J. D. Martín, A. Rodríguez-Vázquez, and J. L. Huertas, “On Simplification Techniques for Symbolic Analysis of Analog Integrated Circuits”, in Proc. IEEE Int. Symposium on Circuits and Systems 1992 (ISCAS’92), San Diego (USA), May 1992, pp. 1149–1152
  16. Fernández, F. V., A. Rodríguez-Vázquez, J. D. Martín, and J. L. Huertas, “Approximating Nested Format Symbolic Expressions”, in Proc. 2nd Int. Workshop on Symbolic Methods and Applications in Circuit Design 1992 (SMACD’92), Florence (Italy), Oct. 1992, pp. 133–146
  17. Fernández, F. V., A. Rodríguez-Vázquez, J. D. Martín, and J. L. Huertas, “Accurate Simplification of Large Symbolic Formulae”, in Proc. IEEE Int. Conference on Computer-Aided Design 1992 (ICCAD’92), pp. 318–321
  18. Fernández, F. V., P. Wambacq, G. Gielen, A. Rodríguez-Vázquez, and W. Sansen, “Symbolic Analysis of Large Analog Integrated Circuits by Approximation During Expression Generation”, in Proc. IEEE Int. Symposium on Circuits and Systems 1994 (ISCAS’94), London (UK), June 1994, pp. 25–28
  19. Fernández, F. V. and A. Rodríguez-Vázquez, “Symbolic Analysis Tools – the State of the Art”, in Proc. IEEE Int. Symposium on Circuits and Systems 1996 (ISCAS’96), Atlanta (USA), May 1996, pp. 798–801
  20. Floberg, H. and S. Mattison, “CASCA – Computer-Aided Symbolic Circuit Analysis”, in Proc. 2nd Int. Workshop on Symbolic Methods and Applications in Circuit Design 1992 (SMACD’92), Florence (Italy), Oct. 1992, pp. 73–82
  21. Galán, M., I. García-Vargas, F. V. Fernández, and A. Rodríguez-Vázquez, “A New Matroid Intersection Algorithm for Symbolic Large Circuit Analysis”, Proc. 4th Int. Workshop on Symbolic Methods and Applications in Circuit Design 1996 (SMACD’96), Leuven (Belgium), Oct. 1996
  22. Galán, M., F. V. Fernández, and A. Rodríguez-Vázquez, “Comparison of Matroid Intersection Algorithms for Large Circuit Analysis”, in Proc. IEEE Int. Symposium on Circuits and Systems 1997 (ISCAS’97), Hongkong, 1997, pp. 1784–1787
  23. Gielen, G., “Symbolic Analysis Methods and Applications – An Overview”, in Proc. IEEE Int. Symposium on Circuits and Systems 1992 (ISCAS’92), San Diego (USA), May 1992, pp. 1141–1144
  24. Greenfield, S. E. and M. M. Hassoun, “Direct Hierarchical Symbolic Transient Analysis of Linear Circuits”, in Proc. IEEE Int. Symposium on Circuits and Systems 1994 (ISCAS’94), London (UK), June 1994, pp. 29–32
  25. Guerra, O., J. D. Rodríguez-García, F. V. Fernández, and A. Rodríguez-Vázquez, “True Hierarchical Symbolic Analysis of Large-Scale Analog Integrated Circuits”, in Proc. 5th Int. Workshop on Symbolic Methods and Applications in Circuit Design 1998 (SMACD’98), Kaiserslautern (Germany), Oct. 1998, pp. 164–168
  26. Hassoun, M. M. and P. M. Lin, “A New Network Approach to Symbolic Simulation of Large-Scale Networks”, in Proc. IEEE Int. Symposium on Circuits and Systems 1989 (ISCAS’89), Portland (USA), 1989, pp. 806–809
  27. Hassoun, M. M., “Hierarchical Symbolic Analysis of Large-Scale Systems Using a Mason’s Signal Flow Graph Model”, in Proc. IEEE Int. Symposium on Circuits and Systems 1991 (ISCAS’91), 1991, pp. 801–805
  28. Hsu, J. J. and C. Sechen, “Low-Frequency Symbolic Analysis of Large Analog Integrated Circuits”, in Proc. Custom Integrated Circuits Conference 1993 (CICC’93), San Diego (USA), 1993, pp. 14.7.1–14.7.5
  29. Hsu, J. J. and C. Sechen, “Fully Symbolic Analysis of Large Analog Integrated Circuits”, in Proc. Custom Integrated Circuits Conference 1994 (CICC’94), San Diego (USA), May 1994, pp. 457–460
  30. Hsu, J. J. and C. Sechen, “The Sifting Approach to Symbolic Analysis of Large Analog Integrated Circuits”, in Proc. 3rd Int. Workshop on Symbolic Methods and Applications in Circuit Design 1994 (SMACD’94), Sevilla (Spain), Oct. 1994, pp. 212–230
  31. Hsu, J. J. and C. Sechen, “Accurate Extraction of Simplified Symbolic Pole/Zero Expressions for Large Analog IC’s”, in Proc. IEEE Int. Symposium on Circuits and Systems 1995 (ISCAS’95), Seattle (USA), May 1995, pp. 2083–2087
  32. Huelsman, L. P., “Personal Computer Symbolic Analysis Programs for Undergraduate Engineering Courses”, in Proc. IEEE Int. Symposium on Circuits and Systems 1989 (ISCAS’89), 1989, pp. 798–801
  33. Huelsman, L. P., “Applications of Symbolic Analysis to Analog System Design”, in Proc. IEEE Int. Symposium on Circuits and Systems 1992 (ISCAS’92), San Diego (USA), May 1992, pp. 1165–1168
  34. Jou, S.-J., M.-F. Perng, C. C. Su, and C. K. Wang, “Hierarchical Techniques for Symbolic Analysis of Large Electronic Circuits”, in Proc. IEEE Int. Symposium on Circuits and Systems 1994 (ISCAS’94), London (UK), June 1994, pp. 21–24
  35. Kole, M. E., J. Smit, and O. Herrmann, “Symbolic Solution of the DC Operating Point”, in Proc. 2nd Int. Workshop on Symbolic Methods and Applications in Circuit Design 1992 (SMACD’92), Florence (Italy), Oct. 1992, pp. 27–35
  36. Konczykowska, A. and M. Bon, “Symbolic Simulation for Efficient Repetitive Analysis and Artificial Intelligence Techniques in CAD”, in Proc. IEEE Int. Symposium on Circuits and System 1989 (ISCAS’89), Portland (USA), 1989, pp. 802–805
  37. Konczykowska, A., M. Bon, H. Wang, and R. Mezui-Mintsa, “Symbolic Synthesis as a Tool for Circuit Optimization”, in Proc. IEEE Int. Symposium on Circuits and Systems 1992 (ISCAS’92), San Diego (USA), May 1992, pp. 1161–1164
  38. Konczykowska, A., M. Hassoun, and L. Huelsman, “Applications of Symbolic Methods to Circuit Design: An Overview”, in Proc. IEEE Int. Symposium on Circuits and Systems 1998 (ISCAS’98), Monterey (USA), Jun. 1998
  39. Liberatore, A., S. Manetti, and M. C. Piccirilli, “Network Symbolic Analysis for Automated Fault Diagnosis”, in Proc. IEEE Int. Symposium on Circuits and Systems 1992 (ISCAS’92), San Diego (USA), May 1992, pp. 1169–1172
  40. Lin, P. M., “Sensitivity Analysis of Large Linear Networks Using Symbolic Programs”, in Proc. IEEE Int. Symposium on Circuits and Systems 1992 (ISCAS’92), San Diego (USA), May 1992, pp. 1141–1144
  41. Litsios, J. and W. Fichtner, “Improved Expansion of Simplified Symbolic Determinants Using a Minimum Weighted Matching Algorithm”, in Proc. 3rd Int. Workshop on Symbolic Methods and Applications in Circuit Design 1994 (SMACD’94), Sevilla (Spain), Oct. 1994, pp. 231–239
  42. Losada, C. A., D. G. Haigh, and P. M. Radmore, “A Systematic Method for Nonlinear Analysis of a Class of FET Circuits”, in Proc. IEEE Int. Symposium on Circuits and Systems 1993 (ISCAS’93), 1993, pp. 2086–2089
  43. Nebel, G., U. Kleine, H. .J. Pfleiderer, “Symbolic Pole/Zero Calculation Using SANTAFE”, in Proc. European Solid State Circuits Conference 1994 (ESSCIRC’94), Ulm (Germany), 1995, pp.152–155
  44. Pierzchala, M. and B. Rodanski, “Obtaining Symbolic Network Functions of Large Circuits – An Algebraic Approach”, in Proc. IEEE Int. Symposium on Circuits and Systems 1995 (ISCAS’95), Seattle (USA), May 1995, pp. 2075–2078
  45. Rodríguez-García, J. D., O. Guerra, F. V. Fernández, and A. Rodríguez-Vázquez, “Symbolic Pole/Zero Extraction Through Dedicated SBG/SDG Techniques”, in Proc. 5th Int. Workshop on Symbolic Methods and Applications in Circuit Design 1998 (SMACD’98), Kaiserslautern (Germany), Oct. 1998, pp. 43–48
  46. Rodríguez-García, J. D., O. Guerra, E. Roca, F. V. Fernández, and A. Rodríguez-Vázquez, “A New Simplification Before and During Generation Algorithm”, in Proc. 5th Int. Workshop on Symbolic Methods and Applications in Circuit Design 1998 (SMACD’98), Kaiserslautern (Germany), Oct. 1998, pp. 110–124
  47. Seda, S. J., M. G. R. Degrauwe, and W. Fichtner, “A Symbolic Analysis Tool for Analog Circuit Design Automation”, in Proc. IEEE Int. Conference on Computer-Aided Design 1988 (ICCAD’88), pp. 488–491
  48. Seda, S. J., G. Di Domenico, M. El Khalifa, et. al, “BRAINS/SYNAP: A Symbolic Solver for Analog Circuits”, in Proc. 1st Int. Workshop on Symbolic Methods and Applications in Circuit Design 1991 (SMACD’91), Bagneux (France), Oct. 1991
  49. Seda, S. J., M. G. R. Degrauwe, and W. Fichtner, “Lazy-Expansion Symbolic Expression Approximation in SYNAP”, in Proc. IEEE Int. Conference on Computer-Aided Design 1992 (ICCAD’92), pp. 310–317
  50. Srivastava, A. and G. M. Wierzba, “Symbolic Approximation of Analog Circuits Using SSPICE”, in Proc. 33rd Midwest Symposium on Circuits and Systems 1990 (MWSCAS’90), 1990, pp. 508–511
  51. Starzyk, J. A. and E. Sliwa, “Tolerances in Symbolic Network Analysis”, in Proc. IEEE Int. Symposium on Circuits and System 1989 (ISCAS’89), Portland (USA), 1989, pp. 810–813
  52. Verhaegen, W. and G. Gielen, “An Efficient Evaluation Scheme for Linear Transfer Functions Using the Determinant Decision Diagram Representation of the System Determinant”, in Proc. 5th Int. Workshop on Symbolic Methods and Applications in Circuit Design 1998 (SMACD’98), Kaiserslautern (Germany), Oct. 1998, pp. 125–129
  53. Walscharts, H., G. Gielen, and W. Sansen, “Symbolic Simulation of Analog Circuits in s- and z-Domain”, in Proc. IEEE Int. Symposium on Circuits and System 1989 (ISCAS’89), Portland (USA), 1989, pp. 814–817
  54. Wambacq, P., G. Gielen, and W. Sansen, “ISAAC: A Symbolic Analysis Program for Linear and Weakly Nonlinear Analogue Integrated Circuits”, in Proc. 1st Int. Workshop on Symbolic Methods and Applications in Circuit Design 1991 (SMACD’91), Bagneux (France), Oct. 1991
  55. Wambacq, P., G. Gielen, and W. Sansen, “A Cancellation-Free Algorithm for the Symbolic Simulation of Large Analog Circuits”, in Proc. IEEE Int. Symposium on Circuits and Systems 1992 (ISCAS’92), San Diego (USA), May 1992, pp. 1157–1160
  56. Wambacq, P., G. Gielen, and W. Sansen, “A Cancellation-Free Algorithm for the Symbolic Simulation of Large Analog Circuits”, in Proc. 2nd Int. Workshop on Symbolic Methods and Applications in Circuit Design 1992 (SMACD’92), Florence (Italy), Oct. 1992, pp. 173–184
  57. Wambacq, P., F. V. Fernández, G. Gielen, and W. Sansen, “Efficient Symbolic Computation of Approximated Small-Signal Characteristics”, in Proc. Custom Integrated Circuits Conference 1994 (CICC’94), San Diego (USA), May 1994, pp. 461–464
  58. Wambacq, P., F. V. Fernández, G. Gielen, W. Sansen, and A. Rodríguez-Vázquez, “Symbolic Network Analysis of Large Analogue Integrated Circuits”, in Proc. 3rd Int. Workshop on Symbolic Methods and Applications in Circuit Design 1994 (SMACD’94), Sevilla (Spain), Oct. 1994, pp. 185–209
  59. Wambacq, P., G. Gielen, and W. Sansen, “A New Reliable Approximation Method for Expanded Symbolic Network Functions”, in Proc. IEEE Int. Symposium on Circuits and Systems 1996 (ISCAS’96), Atlanta (USA), May 1996, pp. 584–587
  60. Wambacq, P., F. V. Fernández, G. Gielen, W. Sansen, and A. Rodríguez-Vázquez, “A Family of Matroid Intersection Algorithms for the Computation of Approximated Symbolic Network Functions”, in Proc. IEEE Int. Symposium on Circuits and Systems 1996 (ISCAS’96), Atlanta (USA), May 1996, pp. 806–809
  61. Wambacq, P., P. Dobrovolný, G. Gielen, and W. Sansen, “Generation of Approximate Symbolic Network Functions by Sensitivity-Driven Ranking of Matroid Intersections”, in Proc. 4th Int. Workshop on Symbolic Methods and Applications in Circuit Design 1996 (SMACD’96), Leuven (Belgium), Oct. 1996
  62. Wehrhahn, E. “Symbolic Analysis of Large Linear Circuits with the Bilinear-Splitting Transformation”, in Proc. IEEE Int. Symposium on Circuits and Systems 1995 (ISCAS’95), Seattle (USA), May 1995, pp. 2079–2082
  63. Wierzba, G. M., A. Srivastava, V. Joshi, and K. V. Noren, “SSPICE – A Symbolic SPICE Program for Linear Active Circuits”, in Proc. Midwest Symposium on Circuits and Systems (MWSCAS’89), 1989, pp. 1197–1201
  64. Yu, Q. and C. Sechen, “Approximate Symbolic Analysis of Large Analog Integrated Circuits”, in Proc. IEEE Int. Conference on Computer-Aided Design 1994 (ICCAD’94), San José (USA), pp. 664–671
  65. Yu, Q. and C. Sechen, “Approximate Symbolic Analysis of Large Analog Integrated Circuits”, in Proc. 3rd Int. Workshop on Symbolic Methods and Applications in Circuit Design 1994 (SMACD’94), Sevilla (Spain), Oct. 1994, pp. 241–259
  66. Yu, Q. and C. Sechen, “Efficient Approximation of Symbolic Network Functions Using Matroid Intersection Algorithms”, in Proc. 3rd Int. Workshop on Symbolic Methods and Applications in Circuit Design 1994 (SMACD’94), Sevilla (Spain), Oct. 1994, pp. 261–277
  67. Yu, Q. and C. Sechen, “Efficient Approximation of Symbolic Network Functions Using Matroid Intersection Algorithms”, in Proc. IEEE Int. Symposium on Circuits and Systems 1995 (ISCAS’95), Seattle (USA), May 1995, pp. 2088–2091
  68. Yu, Q. and C. Sechen, “Approximate Symbolic Analysis of Large Analog Integrated Circuits”, in Proc. European Conference on Circuit Theory and Design 1995 (ECCTD’95), Istanbul (Turkey), Aug. 1995, pp. 67–70