Գրեք սա: Design of analog circuits through symbolic analysis