Efficient fixed-point refinement of DSP dataflow systems | IEEE Conference Publication | IEEE Xplore