Energy-function approach to high-level synthesis scheduling | IEEE Conference Publication | IEEE Xplore