Arithmetic Optimization Techniques for Hardware and Software Design by Ryan Kastner, Anup Hosangadi & Farzan Fallah