Inequality control for functional diagnosis of the mantis divider
Abstract
The problem of on-line testing of computing circuits for processing the approached data is examined. The checking method by the inequalities, providing increase of check reliability of the resuls in the devices operating with mantissas of numbers is offered