New on-line testing methods for approximate data processing in the computing circuits

摘要

This work addresses to problems of on-line testing for the computing circuits, which operate with approximate data. On-line testing development passed under action of model of the exact data, which has defined the purpose and reliability of its method only for a case of the exact data. Features of the approximated calculations make an error inessential in most cases. In this condition the on-line testing methods expose a new property to reject the reliable results detecting the inessential errors. This fact makes a problem of low reliability of on-line testing methods in checking the result. The ways to increase a reliability of the on-line testing methods in checking the result using the features of approximate calculations are shown. New on-line testing methods based on these ways is offered. Residue checking methods for truncated operations with mantissas, the methods using natural information redundancy of arithmetic results and the methods estimating size of errors are developed.