Skip to main content

emit_trace_testbench

logicaffeine_compile::codegen_sva::qor_harness

Function emit_trace_testbench 

Source 
pub fn emit_trace_testbench(
    k: &Kernel,
    c: &Candidate,
    ops: usize,
    max_cycles: u64,
    max_idle: u64,
) -> String
Expand description

emit_testbench’s run with every folded result printed as QOR r <op> <port hex>... (kernel output order, each port in hex at its contract width), for locating the first operation a candidate gets wrong.