Symbolic analysis of large analog circuits using a sensitivity-driven enumeration of common spanning trees | IEEE Journals & Magazine | IEEE Xplore