Skip to main content

emit_crdt_merge_verilog

Function emit_crdt_merge_verilog 

Source
pub fn emit_crdt_merge_verilog() -> String
Expand description

Emit the combinational G-Counter merge unit: merged[i] = max(a[i], b[i]) across the four 32-bit replica lanes, plus value = sum(merged) (34 bits: 32 + ceil(log2 4)).