Efficient on-line testing method for a floating-point adder | IEEE Conference Publication | IEEE Xplore