Efficient DDD-based symbolic analysis of large linear analog circuits

A new technique for generating approximate symbolic expressions for network functions in linear(ized) analog circuits is presented. It is based on the compact determinant decision diagram (DDD) representation of the circuit. An implementation of a term generation algorithm is given and its performance is compared to a matroid-based algorithm. Experimental results indicate that our approach is the fastest reported algorithm so far for this application.

[1]  Sheldon X.-D. Tan,et al.  Symbolic analysis of large analog circuits with determinant decision diagrams , 1997, 1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).

[2]  M. M. Hassoun,et al.  Symbolic analysis of large scale networks , 1988 .

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

[4]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[5]  C.-J. Richard Shi,et al.  Multi-terminal determinant decision diagrams: a new approach to semi-symbolic analysis of analog integrated circuits , 2000, DAC.

[6]  Rob A. Rutenbar,et al.  Interactive AC Modeling and Characterization of Analog Circuits via Symbolic Analysis , 2002 .

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

[8]  Francisco V. Fernández,et al.  Symbolic analysis techniques : applications to analog design automation , 1998 .

[9]  E BryantRandal.  Graph-Based Algorithms for Boolean Function Manipulation , 1986 .

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

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

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

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

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

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

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