Symbolic analysis of large analog integrated circuits by approximation during expression generation | Publicación