This chapter gives an overview of the state of the art on symbolic analysis techniques for modeling, synthesis, design and verification of analog integrated circuits. Symbolic analysis is to generate analytic expressions for circuit performances in terms of circuit component parameters and frequency variables. It complements very well the results from numerical analysis for analog circuit designs. Furthermore, symbolic analysis is very instrumental for circuit designers to gain insights into the circuit’s behavior for generating compact and behavioral models suitable for circuit sizing and synthesis. It is important towards the automatic analog synthesis and optimization. The chapter presents major developments in this field over the past several years and concludes with the outstanding problems for future research.
Keywords: Symbolic nodal analysis, behavioral modeling, active device, nullor, simplification approaches, determinant decision diagram, sparse matrix, model order reduction, moment matching, balanced truncation.