Upward topological analysis of large circuits using directed graph representation | IEEE Journals & Magazine | IEEE Xplore