发明名称 Method and device for checking a digital multiplier
摘要 A method for calculating an error signal that enables a diagnosis of the correctness of a product, determined by a first multiplier unit, of a first factor and a second factor, the error signal being determined by a difference formation unit as the difference of a sum logarithm and a product logarithm.
申请公布号 US9612796(B2) 申请公布日期 2017.04.04
申请号 US201414176785 申请日期 2014.02.10
申请人 ROBERT BOSCH GMBH 发明人 Uhl Alexander
分类号 G06F7/487;G06F7/523;G06F11/00;G06F5/01;G06F11/07 主分类号 G06F7/487
代理机构 Gerard Messina 代理人 Gerard Messina
主权项 1. A method for determining an error in a first multiplier unit of an ASIC circuit of a safety critical system, the method comprising: determining, via the first multiplier unit, a product of a first factor and a second factor; determining, via a first logarithm formation unit, a product logarithm as a logarithm of an absolute value of the product from the first multiplier unit; determining, via a summation unit, a sum logarithm from a sum of a first exponent and a second exponent and a mantissa logarithm; and determining, via a difference formation unit, the error as a difference of the sum logarithm and the product logarithm; wherein the mantissa logarithm is determined by a second logarithm formation unit as a logarithm of an absolute value of a mantissa product, the mantissa product being determined by a second multiplier unit as a product of a first approximated normalized mantissa and a second approximated normalized mantissa, the first approximated normalized mantissa being determined by a first normalizing unit as an approximation of a normalized mantissa of the floating-point representation of the first factor to a base, the first exponent being the exponent belonging to the base in a floating-point representation of the first factor; and wherein the second approximated normalized mantissa is determined by a second normalizing unit as an approximated normalized mantissa of a floating-point representation of the second factor to the base, the second exponent being the exponent belonging to the base in the floating-point representation of the second factor, wherein the product is recognized as false if the error exceeds or falls below a percent range relative to a correct product, and wherein the error is in the first multiplier unit of the ASIC circuit of the safety critical system.
地址 Stuttgart DE