Derivation of a logarithmic time carry lookahead addition circuit (0)

by J O’Donnell, G Rünger
Venue:J. Funct. Program