Email Record: C-testability of a ripple carry adder under multiple faults /