pub fn run_core(a: &[u64; 4], b: &[u64; 4], program: &[Instr]) -> [[u64; 4]; 8]Expand description
A cycle-faithful Rust MODEL of the core: fetch → decode → issue → retire, over the same coprocessor semantics the RTL instantiates. Returns the final 8×256-bit register file. The iverilog testbench proves the RTL reproduces exactly this.