发送短信 : Symbolic analysis for automated design of analog integrated circuits /