Data path refinement algorithm in high-level synthesis based on dynamic programming | IEEE Conference Publication | IEEE Xplore