rvsail /

Things you can actually run. ISA-compliance verification for out-of-order RISC-V cores — this host serves the executable artifacts; the write-up lives elsewhere.

Cycle-accurate RTL, in your browser

/boom
SonicBOOM v3 — superscalar out-of-order RV64IM. Boots its own BootROM, executes a program out of an AXI4 memory model, streams the retired-instruction trace live.
SmallBoomV3TraceConfig · 1.7 MB wasm · ~80 kHz
/rocket
Rocket — in-order reference core, same pipeline and same harness.
not yet published
/xiangshan
XiangShan XSCore — second out-of-order core, ~29× the netlist.
not yet published

Proof artifacts

/divider
The ghost-accumulator k-induction that closes BOOM's 64-bit iterative divider — toggle the original loop invariant against the multiply-free one and watch one converge while the other does not.
not yet published