Datapath Synthesis for Overclocking: Online Arithmetic for Latency-Accuracy Trade-offs - Shi, K; Boland, D; Stott, E; Bayliss, S; Constantinides, GA (IEEE, 2014)