Explicitly isolating data and computation in high level synthesis: the role of polyhedral framework | IEEE Conference Publication | IEEE Xplore