An AI RTL debug agent that uses graph RAG — not embeddings — as its primary tool for tracing simulation failures to their root cause. Each linked report below diagnosed a failing test using only the design graph, spec, and RTL source — never the project's answer key.
Regression picked: smoke (21 tests, 8 failing)
3,379 nodes / 13,632 edges · 0 orphan nodes · 0 dangling edges
Click a failing test to open its debug report (investigation plan, evidence, hypothesis, patch, verification).
| Test | Status | Error |
|---|---|---|
| smoke.smoke_toolchain_test smoke | PASS | — |
| sram.sram_sanity_test sram | PASS | — |
| sram.sram_cmodel_integration_test sram | FAIL — not yet debugged | CModelError: tpe_model sram-apply sram_scoreboard_work/ops.bin sram_scoreboard_… |
| pmu.counter_basics_test pmu | PASS | — |
| pmu.latency_test pmu | Verified | UVMError: PMU_LATENCY: CMD_LATENCY_LAST=4, want 5 |
| debug.trace_pop_test debug | PASS | — |
| debug.error_latch_test debug | PASS | — |
| debug.trace_disabled_test debug | PASS | — |
| dma.dma_sanity_test dma | PASS | — |
| dma.dma_multiburst_write_test dma | Fix failed | MismatchError: 1 row mismatches |
| dma.dma_error_test dma | PASS | — |
| dma.dma_cmodel_integration_test dma | FAIL — not yet debugged | CModelError: tpe_model dma-apply dma_scoreboard_work/stim_cmodel_integration.bi… |
| matrix_engine.matmul_sanity_test matrix_engine | PASS | — |
| matrix_engine.matmul_overflow_test matrix_engine | Verified | AssertionError: [overflow_neg] 1 value mismatches |
| matrix_engine.matmul_cmodel_integration_test matrix_engine | FAIL — not yet debugged | CModelError: tpe_model matmul matmul_scoreboard_work/stim_cmodel_integration.bi… |
| top.matmul_flow_test top | PASS | — |
| top.irq_test top | PASS | — |
| top.error_handling_test top | PASS | — |
| top.matmul_full_width_test top | Verified | UVMError: MATMUL_FULL_WIDTH: MATMUL with dim_n==COLS(16) status=STAT_BAD_DIM, w… |
| top.irq_independent_clear_test top | Verified | UVMFatalError: IRQ_INDEPENDENT_CLEAR: clearing CMD_ERROR alone should leave CMD… |
| top.pmu_debug_integration_test top | PASS | — |