Unification of scheduling, binding, and retiming to reduce power consumption under timings and resources constraints | IEEE Journals & Magazine | IEEE Xplore