Arithmetic Optimization Techniques for Hardware and Software Design - Ryan Kastner; Anup Hosangadi; Farzan Fallah (2010)