Replay · 1 of 5Replay of a sample runmade-up data · step 1 of 5

Run on Oct 14, 09:10 UTC

Sample

Checked commit c0e55b1, “Hold RVALID until RREADY; clear ARREADY in reset”.

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.