Symbolic Noise Analysis in Analog Circuits