Hierarchical symbolic analysis of analog integrated circuits via determinant decision diagrams | IEEE Journals & Magazine | IEEE Xplore