Skip to main content

emit_coproc_core_testbench

logicaffeine_compile::codegen_sva::coproc_core

Function emit_coproc_core_testbench 

Source 
pub fn emit_coproc_core_testbench() -> String
Expand description

Self-checking testbench: run the core to halt, read back R2..R5, compare to the oracle from coproc_exp.hex (the Rust model’s final register file). Prints PASS/FAIL.