Method of operational testing of floating-point computing devices

Abstract

The issue of operational testing of floating-point computing devices performing approximate processing of number mantissas is considered. A method of inequality-based control of the mantissa multiplier is proposed. The result of the operation is compared with its lower and upper bounds calculated from the operands. The method detects errors depending on their magnitude and increases the reliability of result verification while reducing the rejection of valid results.