Symbolic analysis techniques for design centering of analog circuits