Skip to main content

emit_sequencer_testbench

Function emit_sequencer_testbench 

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

A self-checking testbench for the sequencer: for each vector, load the params, pulse reset, run the FSM to done, and compare BOTH result and cycles to the VM oracle in seq_{name}_{out,cyc}.hex (inputs in seq_{name}_in.hex). The step-count check pins the trajectory, not just the answer.