[libre-riscv-dev] partitioned compare and mux

[Luke Kenneth Casson Leighton]

oh - just realised, would you agree, is it the case that we have to
"slide down" the carry-out to the beginning of the partition?  using
one of those mux-cascades?
l.