Running circt-synth on an 8-bit adder with and without the carry-out we see an unexpected improvement in longest path when computing the carry-out: add_two_no_carry - Maximum Path Delay = 16 ...