Skip to main content

emit_computedram_harness_testbench

logicaffeine_compile::codegen_sva::computedram_rtl

Function emit_computedram_harness_testbench 

Source 
pub fn emit_computedram_harness_testbench(
    nwords: usize,
    src: usize,
    dst: usize,
    pattern: u64,
) -> String
Expand description

Emit tb_computedram — the harness (the fabric’s role): preload src with pattern, replay the delta-encoded ComputeDRAM stream (cdram_plan.hex) through dram_executor into the device, then read dst and assert it equals pattern (the RowClone oracle). nwords = stream length.