pub fn eval_sequencer(pf: &ProgramCfgFabric, params: &[i64]) -> (i64, u64)Expand description
Evaluate a whole-function CFG fabric on the sequencer’s model and return (result, block_steps). This IS
run_program_cfg_on_grid — the same place-per-block (route_loop_body) + eval_grid_all walk over a
register file — with a step counter added, so the returned value is identical to the grid walk (≡ the CFG
model ≡ the VM) and block_steps is the exact number of block executions the RTL must take (the
trajectory, not merely the answer). The reference the iverilog differential checks against.