A constraint driven approach to loop pipelining and register binding | IEEE Conference Publication | IEEE Xplore