An optimal algorithm for sizing sequential circuits for industrial library based designs | IEEE Conference Publication | IEEE Xplore