On simplification techniques for symbolic analysis of analog integrated circuits | Publicación