Symbolic analysis of large analog circuits with determinant decision diagrams | IEEE Conference Publication | IEEE Xplore