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