Symbolic analysis for automated design of analog integrated circuits | lit.salon