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

Run on Oct 13, 14:22 UTC

Sample

Checked commit a71d0e4, “Gate byte lanes with WSTRB”.

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.