Some blocks show sample data (marked sample). Real pipeline and benchmark runs replace it block by block as they land in
build/.Verification overview
Every block's spec, tests, runs and bugs in one place. Designers see results here without asking DV.
Blocks
5
10 runs recorded
Requirements verified
42/77
checked, covered and passing
Open design bugs
1
3 fixed and verified by a rerun
Hidden bugs caught
26/30
vanilla Claude: 7/30
Blocks
Latest run per block
| Block | Last commit verified | Status | Requirements | Coverage points | Line cov | Open bugs | |
|---|---|---|---|---|---|---|---|
| axil_ram | c0e55b1 · Hold RVALID until RREADY; clear ARREADY in reset | passing | 27/27 | 98.9% | 0 | sample | |
| i2c_master | – | no runs | – | – | 0 | ||
| sync_fifo | 26b3a7b · Merge pull request #13 from kavin1001/claude/project-thread-9kzddm | passing | 43/43 | 82.1% | 0 | ||
| uart | – | no runs | – | – | 0 | ||
| uart_tx | 77b1d20 · UART TX with parity | 1 req failing | 13/13 | 96.1% | 1 | sample |
Akrida vs vanilla Claude
Hidden injected bugs caught, latest benchmark per design
sync_fifosample
Akrida
9/10Vanilla
0/10
Vanilla testbench fails on the clean design, so none of its failures count.
uart_txsample
Akrida
8/10Vanilla
4/10
axil_ramsample
Akrida
9/10Vanilla
3/10
Akrida spent $15.80 and 59m 58s in total; vanilla $1.65 and 9m 15s.
Recent runs
| When | Block | Commit | Status | Iterations | Bugs filed | Wall clock |
|---|---|---|---|---|---|---|
| Oct 28, 16:02 UTC | uart_tx | 77b1d20 · UART TX with parity | 1 req failing | 3 | 1 | 17m 3s |
| Oct 28, 09:10 UTC | axil_ram | c0e55b1 · Hold RVALID until RREADY; clear ARREADY in reset | passing | 1 | 0 | 3m 18s |
| Oct 27, 14:22 UTC | axil_ram | a71d0e4 · Gate byte lanes with WSTRB | 2 req failing | 1 | 2 | 4m 2s |
| Oct 26, 10:15 UTC | axil_ram | 3f9c2ab · Add AXI-Lite RAM controller | 3 req failing | 4 | 3 | 23m 4s |
| Oct 25, 07:09 UTC | sync_fifo | local run | running | 0 | 0 | – |
| Oct 25, 06:39 UTC | sync_fifo | 26b3a7b · Merge pull request #13 from kavin1001/claude/project-thread-9kzddm | passing | 1 | 0 | 7m 52s |
| Oct 25, 06:22 UTC | sync_fifo | local run | running | 0 | 0 | – |
| Oct 25, 06:10 UTC | sync_fifo | replay of 20261029-110517 | 1 req failing | 2 | 1 | 10m 11s |