RECOD: a retiming heuristic to optimize resource and memory utilization in HW/SW codesigns | IEEE Conference Publication | IEEE Xplore