Symbolic Analysis Techniques is a collection of original contributions from renowned experts in the field presenting the most recent and important applications of symbolic analysis to analog circuit design. This timely, self-contained volume features an in-depth tutorial introduction to the techniques and algorithms underlying modern symbolic analyzers, and includes many references at the end of each chapter. Symbolic Analysis Techniques also features an extensive comparison of modern symbolic analyzer characteristics and limitations. Brimming with practical instructions on tasks like formula simplification and port-processing, this book will be of use and interest to graduate students, researchers, and engineers involved in computer-aided circuits analysis and analog design automation.