Skip to main content

emit_pow_datapath_testbench

logicaffeine_compile::codegen_sva::fabric_rtl

Function emit_pow_datapath_testbench 

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

A self-checking testbench for a power datapath: for each of n input vectors, pulse rst, drive in{k}, run until done (bounded by max_cycles), and compare result against the VM oracle loaded from pow_{name}_{in,out}.hex. Mirrors emit_state_plane_testbench (the sequenced clocked harness).