Replay · 1 of 30Replay of a real run · bug planted for the benchmarkstep 1 of 30

Run on Oct 25, 01:23 UTC

Checked a copy of AXI4-Lite RAM with a bug planted for the benchmark: Reads return the word one above the addressed word.

Replaying…

Watch Akrida work through the design, one step at a time.

Reading the spec…
Akrida turns each rule in the spec into a requirement and plans the scenarios that prove it.