Patent ID: 8626816

Claim:
A method of detecting errors in a result of a fixed-point division operation, the method comprising: performing, by a division circuit, a fixed-point division operation for a dividend and a divisor to produce a final result, the final result including a quotient; providing a sign of the dividend, the divisor and the result of the operation to an error detection processing unit; and performing, by the error detection processing unit, an error detection operation, the error detection operation including: after receiving the final result from the division circuit, calculating a remainder from the quotient produced by the fixed-point division operation, the dividend and the divisor; performing a first comparison of at least one of: an absolute value of the divisor and an absolute value of the remainder, and a magnitude of the divisor and a magnitude of the remainder; performing a second comparison of the sign of the dividend and a sign of the remainder; and determining whether the final result is correct based on the first comparison and the second comparison.