1. A method of estimating propagated carries in an adder by means of a circuit producing a carry value starting from operands selected out of actual addition inputs and at least one earlier carry, the method comprising the step of using, as said circuit, a statistical circuit operating with independent binary traffic for said operands.