Skip to main content

emit_block_engine_testbench

logicaffeine_compile::codegen_sva::block_engine_rtl

Function emit_block_engine_testbench 

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

A self-checking testbench: drive each input vector, compare result to the VM oracle in bexec_{name}_{pin,eout}.hex (the engine loads its config from bexec_{name}_{ctrl,ac,bc,res}.hex).