Symbolic analysis of large analog integrated circuits by approximation during expression generation | IEEE Conference Publication | IEEE Xplore