Skip to main content

emit_decision_fabric_testbench_dummy

logicaffeine_compile::codegen_sva::fabric_rtl

Function emit_decision_fabric_testbench_dummy 

Source 
pub fn emit_decision_fabric_testbench_dummy(
    name: &str,
    n_in: usize,
    n: usize,
) -> String
Expand description

A self-checking testbench for a COMBINATIONAL decision_{name} fabric: drive n input vectors (each n_in 64-bit words) from dec_{name}_in.hex, compare the settled result against the VM oracle in dec_{name}_out.hex, and print PASS/FAIL. The combinational analog of emit_state_plane_testbench — no clock, one #1 settle per vector. Lets any Func/Cmp/Arith decision tile be iverilog-exercised ≡ the VM.