Residue checker using optimal signed-digit adder tree for error detection of arithmetic circuits | IEEE Conference Publication | IEEE Xplore