File:VLSI.Arith.1.A.PFA.20131107.pdf