Symbolic Analysis of Analog Circuits: Techniques and Applications