Using Stochastic Differential Equation for Verification of Noise in Analog/RF Circuits