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