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