A dynamic programming based algorithm for post-scheduling frequency assignment in energy-efficient high-level synthesis | IEEE Conference Publication | IEEE Xplore