Tearing techniques for symbolic simulation of large-scale analog circuits | IEEE Conference Publication | IEEE Xplore