Adder
= Adder
A <Boolean circuit> computing the <sum> of <binary representations>, possibly including input and output <carry> <bits>. Its delay depends on how carries are propagated; specifying an <adder> does not by itself imply constant <circuit depth> as the input width grows.