Unfolding and retiming for high-level DSP synthesis | IEEE Conference Publication | IEEE Xplore