Update FADD.v