An efficient algorithm for library-based cell-type selection in high-performance low-power designs | IEEE Conference Publication | IEEE Xplore