Search International and National Patent Collections

1. (WO2018127568) VERIFICATION OF FIXED-POINT ARITHMETIC

Pub. No.:    WO/2018/127568    International Application No.:    PCT/EP2018/050287
Publication Date: Fri Jul 13 01:59:59 CEST 2018 International Filing Date: Sat Jan 06 00:59:59 CET 2018
IPC: H04L 29/08
Applicants: KONINKLIJKE PHILIPS N.V.
Inventors: VEENINGEN, Meilof, Geert
Title: VERIFICATION OF FIXED-POINT ARITHMETIC
Abstract:
One method of verifying a calculation comprises: receiving a plurality of multiplicand fixed-point values representing respective natural numbers, wherein the multiplicand fixed-point values have respective multiplicand scaling factors; receiving a product fixed-point value representing a respective natural number, wherein the product fixed- point value has a product scaling factor; and determining whether the product fixed- point value is a correctly truncated result of multiplying the multiplicand fixed-point values together by: determining whether the difference between (a) the product of the product fixed-point value and the inverse of a combined scaling factor and (b) the product of the multiplicand fixed-point values is within a range bounded by the negation of an inverse of the combined scaling factor and the inverse of the combined scaling factor, wherein the combined scaling factor is equal to the product of the multiplicand scaling factors divided by the product scaling factor.