Canonical symbolic analysis of large analog circuits with determinant decision diagrams | IEEE Journals & Magazine | IEEE Xplore