An efficient partitioning algorithm for large-scale circuits | IEEE Conference Publication | IEEE Xplore