@User Thanks, this makes very sense. In my experience pure logic synthesis can't do any better than a specialized adder macro (for example blocks of 4 bit carry look ahead adders). I played in the past with yosys trying to get a 256 bit adder and results were always between the worst (ripple carry) and better (CLA) implementations.