Topology oriented symbolic circuit analysis based on limit variables | IEEE Conference Publication | IEEE Xplore