An efficient list-based scheduling algorithm for high-level synthesis | IEEE Conference Publication | IEEE Xplore