Models and methods checking mantissas by inequalities for on-line testing of digital circuits in critical applications. - Alexander V. Drozd; M. Al-dhabi; Svetlana Antoshchuk; A. Martinyuk; Miroslav Drozd (EWDTS, 2017)