Αποστολή με SMS: Symbolic analysis for automated design of analog integrated circuits /