An optimal algorithm for sizing sequential circuits for industrial library based designs