Carry operator explained

The carry operator, symbolized by the ¢ sign, is an abstraction of the operation of determining whether a portion of an adder network generates or propagates a carry. It is defined as follows:

(G _{1,} P _{1)} ¢ (G _{2,} P _{2)} = (G _{1} \lor G _{2} P _{1,} P _{2} P _{1)}

External links

• http://www.aoki.ecei.tohoku.ac.jp/arith/mg/algorithm.html