Efficient approximation of symbolic expressions for analog behavioral modeling and analysis

Efficient algorithms are presented to generate approximate expressions for transfer functions and characteristics of large linear-analog circuits. The algorithms are based on a compact determinant decision diagram (DDD) representation of exact transfer functions and characteristics. Several theoretical properties of DDDs are characterized, and three algorithms, namely, based on dynamic programming, based on consecutive k-shortest path (SP), and based on incremental k-SP, are presented in this paper. We show theoretically that all three algorithms have time complexity linearly proportional to |DDD|, the number of vertices of a DDD, and that the incremental k-SP-based algorithm is fastest and the most flexible one. Experimental results confirm that the proposed algorithms are the most efficient ones reported so far, and are capable of generating thousands of dominant terms for typical analog blocks in CPU seconds on a modern computer workstation.

[1]  J.L. Huertas,et al.  On simplification techniques for symbolic analysis of analog integrated circuits , 1992, [Proceedings] 1992 IEEE International Symposium on Circuits and Systems.

[2]  Wolfgang Fichtner,et al.  Lazy-expansion symbolic expression approximation in SYNAP , 1992, ICCAD.

[3]  C.-J. Richard Shi,et al.  Parametric analog behavioral modeling based on cancellation-free DDDs , 2002, Proceedings of the 2002 IEEE International Workshop on Behavioral Modeling and Simulation, 2002. BMAS 2002..

[4]  Georges Gielen,et al.  Analog small-signal modeling-part II: elementary transistor stages analyzed with behavioral signal path modeling , 2001 .

[5]  Mohamed A. Y. Abdulla,et al.  Distortion Analysis in Analog Integrated Circuits , 2002 .

[6]  Jer-Jaw Hsu,et al.  DC small signal symbolic analysis of large analog integrated circuits , 1994 .

[7]  Georges G. E. Gielen,et al.  Symbolic modeling of periodically time-varying systems usingharmonic transfer matrices , 2002, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[8]  Heinrich Floberg.  Symbolic Analysis in Analog Integrated Circuit Design , 1997 .

[9]  Georges Gielen,et al.  A cancellation-free algorithm for the symbolic simulation of large analog circuits , 1992, [Proceedings] 1992 IEEE International Symposium on Circuits and Systems.

[10]  Georges Gielen,et al.  Analog small-signal modeling-part I: behavioral signal path modeling for analog integrated circuits , 2001 .

[11]  Ieee Circuits,et al.  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems information for authors , 2018, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[12]  G. Gielen,et al.  Symbolic Distortion Analysis of Analog Integrated Circuits , 2001 .

[13]  Rob A. Rutenbar,et al.  Canonical Symbolic Analysis of Large Analog Circuits with Determinant Decision Diagrams , 2002 .

[14]  Georges Gielen,et al.  Symbolic analysis methods and applications for analog circuits: a tutorial overview , 1994, Proc. IEEE.

[15]  Georges Gielen,et al.  Symbolic analysis for automated design of analog integrated circuits , 1991, The Kluwer international series in engineering and computer science.

[16]  Efficient derivation of exact s-expanded symbolic expressions for behavioral modeling of analog circuits , 1998, Proceedings of the IEEE 1998 Custom Integrated Circuits Conference (Cat. No.98CH36143).

[17]  Georges G. E. Gielen,et al.  Efficient DDD-based symbolic analysis of large linear analog circuits , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).

[18]  Sheldon X.-D. Tan,et al.  Compact representation and efficient generation of s-expandedsymbolic network functions for computer-aided analog circuit design , 2001, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[19]  Georges G. E. Gielen,et al.  Circuit simplification for the symbolic analysis of analogintegrated circuits , 2002, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[20]  P. Lin.  Symbolic network analysis , 1991 .

[21]  Georges Gielen,et al.  A new reliable approximation method for expanded symbolic network functions , 1996, 1996 IEEE International Symposium on Circuits and Systems. Circuits and Systems Connecting the World. ISCAS 96.

[22]  Sheldon X.-D. Tan,et al.  Efficient DDD-based term generation algorithm for analog circuit behavioral modeling , 2003, ASP-DAC '03.

[23]  Ángel Rodríguez-Vázquez,et al.  Symbolic analysis of large analog integrated circuits by approximation during expression generation , 1994, Proceedings of IEEE International Symposium on Circuits and Systems - ISCAS '94.

[24]  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.

[25]  Georges Gielen,et al.  Symbolic Determinant Decision Diagrams and Their Use for Symbolic Modeling of Linear Analog Integrated Circuits , 2002 .

[26]  Sheldon X.-D. Tan,et al.  Interpretable symbolic small-signal characterization of large analog circuits using determinant decision diagrams , 1999, Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078).

[27]  Georges Gielen,et al.  Evaluation of error-control strategies for the linear symbolic analysis of analog integrated circuits , 1999 .

[28]  Qicheng Yu,et al.  A unified approach to the approximate symbolic analysis of large analog integrated circuits , 1996 .