Developing a set of holistic signal retiming performance metrics : an evaluation of signal retiming efforts in Austin