SPIRE: A retiming-based physical-synthesis transformation system | IEEE Conference Publication | IEEE Xplore