Hardware Check of Arithmetic Devices with Abridged Execution of Operations. - Alexander V. Drozd; Wael Hassonah; Michel Lobachov (ED&TC, 1996)