Symbolic Analysis for Automated Design of Analog Integrated Circuits