Skip to main content

emit_crdt_merge_testbench

logicaffeine_compile::codegen_sva::crdt_rtl

Function emit_crdt_merge_testbench 

Source 
pub fn emit_crdt_merge_testbench(n: usize) -> String
Expand description

A self-checking testbench: apply N (a,b) vectors and compare merged/value against the oracle from crdt_{a,b,m}.hex (computed in Rust). Prints PASS/FAIL.