Skip to main content

emit_chan_fifo_testbench

logicaffeine_compile::codegen_sva::chan_rtl

Function emit_chan_fifo_testbench 

Source 
pub fn emit_chan_fifo_testbench(
    n: usize,
    npops: usize,
    final_count: usize,
) -> String
Expand description

A self-checking testbench: replay an N-step (push, pop, din) trace and compare the DUT’s pop sequence against the software channel oracle from chan_{ctrl,din,pops}.hex.