Replay · 1 of 17Replay of a sample runmade-up data · step 1 of 17
Run on Oct 12, 10:15 UTC
SampleChecked commit 3f9c2ab, “Add AXI-Lite RAM controller”.
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.