A retiming based relaxation heuristic for resource-constrained loop pipelining | IEEE Conference Publication | IEEE Xplore