Elimination of redundant memory traffic in high-level synthesis | IEEE Journals & Magazine | IEEE Xplore