Skip to main content

emit_fifo_trace_testbench

logicaffeine_compile::codegen_sva::handshake_rtl

Function emit_fifo_trace_testbench 

Source 
pub fn emit_fifo_trace_testbench(
    name: &str,
    depth: usize,
    width: usize,
    steps: usize,
    seed: u64,
) -> String
Expand description

Scripted push/pop trace against a VecDeque model: every cycle the DUT’s pushed, popped, count and (when popped) dout must equal the model’s. Prints PASS: or the first mismatch.