Backward-annotation of post-layout delay information into high-level synthesis process for performance optimization | IEEE Conference Publication | IEEE Xplore