Post-scheduling frequency assignment for energy-efficient high-level synthesis | IEEE Conference Publication | IEEE Xplore