See what the
processor is thinking.
A tiny RISC-V program opened up one instruction and control decision at a time.
HA-RV / 01
Four registers. Five instructions. No mystery.
PC 0x00000000Load the first value.Compute core loading
Program
- 0x00000000
addi x1, x0, 5→ - 0x00000004
addi x2, x0, 3 - 0x00000008
add x3, x1, x2 - 0x0000000C
slli x4, x3, 1 - 0x00000010
sw x4, 0(x0)
Program counter0x00000000
ALUADDI
Memory [0]0x00000000
Register file
- x0
- 0x00000000
- x1
- 0x00000000
- x2
- 0x00000000
- x3
- 0x00000000
- x4
- 0x00000000
- x5
- 0x00000000
- x6
- 0x00000000
- x7
- 0x00000000
Why this exists
Software is easier to trust when you can see the state change.
This is a deliberately small reference machine. Its deterministic execution core runs in a compact WebAssembly module, with a TypeScript fallback for browsers that block the module.