Symbolic analysis methods and applications for analog circuits: a tutorial overview

This tutorial paper gives an overview of the history and present state of the art in symbolic analysis of electronic circuits at the so-called circuit level. Symbolic analysis is defined as a technique generating a closed-form analytic expression for a circuit characteristic with the circuit's elements represented by symbols. Such analytic information complements the results from numerical simulations. The paper then describes the different application areas of symbolic analysis for the design of analog circuits. Symbolic analysis is mainly used as a means to obtain insight into a circuit's behavior, to generate analytic models for automated circuit sizing, and in applications requiring the repetitive evaluation of circuit characteristics. Next, the present capabilities and limitations of symbolic analysis, both in functionality and efficiency, are discussed. The major symbolic analysis methods are presented, and algorithmic details are provided for symbolic approximation, hierarchical decomposition, and symbolic distortion analysis. Finally, existing symbolic simulators are compared, and directions for future research are pointed out. >

[1]  P. Fleischer,et al.  A family of active switched capacitor biquad building blocks , 1979, The Bell System Technical Journal.

[2]  J. Smit,et al.  A cancellation free algorithm, with factoring capabilities, for the efficient solution of large sparse sets of equations , 1981, SYMSAC '81.

[3]  J. Starzyk,et al.  Flowgraph analysis of large electronic networks , 1986 .

[4]  Randal E. Bryant,et al.  Boolean Analysis of MOS Circuits , 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[5]  Eric A. Vittoz,et al.  IDAC: an interactive design tool for analog CMOS circuits , 1987 .

[6]  M. Bon,et al.  Automated design software for switched-capacitor IC's with symbolic simulator SCYMBAL , 1988, DAC '88.

[7]  M.G.R. Degrauwe,et al.  A symbolic analysis tool for analog circuit design automation , 1988, [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.

[8]  Georges Gielen,et al.  ISAAC: a symbolic simulator for analog integrated circuits , 1989, IEEE J. Solid State Circuits.

[9]  Willy Sansen,et al.  Analog Circuit Design Optimization based on Symbolic Simulation and Simulated Annealing , 1989, ESSCIRC '89: Proceedings of the 15th European Solid-State Circuits Conference.

[10]  K. V. Noren,et al.  Sspice-a symbolic SPICE program for linear active circuits , 1989, Proceedings of the 32nd Midwest Symposium on Circuits and Systems,.

[11]  Rob A. Rutenbar,et al.  OASYS: a framework for analog circuit synthesis , 1989, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[12]  A. Konczykowska,et al.  Symbolic simulation for efficient repetitive analysis and artificial intelligence techniques in CAD , 1989, IEEE International Symposium on Circuits and Systems,.

[13]  Willy Sansen,et al.  A symbolic simulator for analog circuits , 1989, IEEE International Solid-State Circuits Conference, 1989 ISSCC. Digest of Technical Papers.

[14]  P. M. Lin,et al.  A new network approach to symbolic simulation of large-scale networks , 1989, IEEE International Symposium on Circuits and Systems,.

[15]  L. P. Huelsman,et al.  Personal computer symbolic analysis program for undergraduate engineering courses , 1989, IEEE International Symposium on Circuits and Systems,.

[16]  Lawrence T. Pileggi,et al.  Asymptotic waveform evaluation for timing analysis , 1990, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[17]  Willy Sansen,et al.  Feedforward compensation techniques for high-frequency CMOS amplifiers , 1990 .

[18]  P.R. Gray,et al.  OPASYN: a compiler for CMOS operational amplifiers , 1990, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[19]  G. Gielen,et al.  Symbolic simulation of harmonic distortion in analog integrated circuits with weak nonlinearities , 1990, IEEE International Symposium on Circuits and Systems.

[20]  C. Meixenberger,et al.  The ADAM analog design automation system , 1990, IEEE International Symposium on Circuits and Systems.

[21]  Marcantonio Catelani,et al.  Analog network testability measurement: a symbolic formulation approach , 1991 .

[22]  Stefano Manetti,et al.  New approach to automatic symbolic analysis of electric circuits , 1991 .

[23]  A. Konczykowska,et al.  Analog design optimization using symbolic approach , 1991, 1991., IEEE International Sympoisum on Circuits and Systems.

[24]  Z.M. Arnautovic,et al.  Symbolic analysis of mixed continuous and sampled-data systems , 1991, 1991., IEEE International Sympoisum on Circuits and Systems.

[25]  A. Rodríguez-Vázquez,et al.  Interactive AC modeling and characterization of analog circuits via symbolic analysis , 1991 .

[26]  Georges Gielen,et al.  A design tool for weakly nonlinear analog integrated circuits with multiple inputs (mixers, multipliers) , 1991, Proceedings of the IEEE 1991 Custom Integrated Circuits Conference.

[27]  Willy M. C. Sansen,et al.  DONALD: a workbench for interactive design space exploration and sizing of analog circuits , 1991, Proceedings of the European Conference on Design Automation..

[28]  Bixia Li,et al.  SSCNAP: a program for symbolic analysis of switched capacitor circuits , 1992, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[29]  W. Fichtner,et al.  Lazy-expansion symbolic expression approximation in SYNAP , 1992, 1992 IEEE/ACM International Conference on Computer-Aided Design.

[30]  Ronald A. Rohrer,et al.  AWEsymbolic: compiled analysis of linear(ized) circuits using asymptotic waveform evaluation , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

[31]  Michel J. Declercq,et al.  A prototype tool for the design-oriented symbolic analysis of analogue circuits , 1992, Int. J. Circuit Theory Appl..

[32]  J.E. Franca,et al.  A symbolic z-transfer function generator for the synthesis and analysis of multirate switched-capacitor circuits , 1992, [Proceedings] 1992 IEEE International Symposium on Circuits and Systems.

[33]  P. M. Lin,et al.  Sensitivity analysis of large linear networks using symbolic programs , 1992, [Proceedings] 1992 IEEE International Symposium on Circuits and Systems.

[34]  Michel Declercq,et al.  A Prototype Tool For The Design Oriented Symbolic Analysis Of Analog Circuits , 1992, 1992 Proceedings of the IEEE Custom Integrated Circuits Conference.

[35]  M. Hassoun,et al.  A state-variable approach to symbolic circuit simulation in the time domain , 1992, [Proceedings] 1992 IEEE International Symposium on Circuits and Systems.

[36]  A. Rodríguez-Vázquez,et al.  Formula approximation for flat and hierarchical symbolic analysis , 1993 .

[37]  Carl Sechen,et al.  Low-frequency symbolic analysis of large analog integrated circuits , 1993, Proceedings of IEEE Custom Integrated Circuits Conference - CICC '93.

[38]  M. Hassoun,et al.  Symbolic analysis of large-scale networks using a hierarchical signal flowgraph approach , 1993 .

[39]  Willy Sansen,et al.  ARIADNE: A constraint-based approach to computer-aided synthesis and modeling of Analog integrated circuits , 1993 .

[40]  Jose E. Franca,et al.  CATALYST: A highly flexible CAD tool for architecture-level design and analysis of data converters , 1993, 1993 European Conference on Design Automation with the European Event in ASIC Design.

[41]  Roberto Guerrieri,et al.  Symbolic analysis of simplified transfer functions , 1993 .

[42]  Stefano Manetti,et al.  Symbolic simulators for the fault diagnosis of nonlinear analog circuits , 1993 .

[43]  M. Sharif-Bakhtiar,et al.  Symbolic analysis of electronic circuits based on a tree enumeration technique , 1993 .

[44]  José Luis Huertas,et al.  A tool for automated design of sigma-delta modulators using statistical optimization , 1993, 1993 IEEE International Symposium on Circuits and Systems.

[45]  B. Geeraerts,et al.  Electrothermal simulation and design of integrated circuits , 1994, IEEE J. Solid State Circuits.