Dadda has an adder type named after him - and designed a method of reducing delay paths on an actual asic.