On-line testing of computing circuits at performance of the approximate calculations

In this paper, features of on-line testing for computing circuits at approximated data processing are considered. Checking reliability of the approximated results for arithmetic operations is estimated. The low reliability of traditional checking methods caused by rejection of authentic results is shown. Ways to decrease the rejection probability of authentic results are determined using the truncated arithmetic operations and methods of checking with low detection probability of errors, which are inessential to the reliability of the result.