vWIZ-Wave is an agent-native waveform debugger for RTL and SoC verification. Point it at a dump and an RTL directory and it opens the design with live values, walks a failure back through the logic that caused it, and returns the same evidence whether a person is driving the viewer or an AI agent is driving the CLI. Clean-room C++20 with a Qt5 and OpenGL viewer over a lazy, memory-mapped waveform database, every engine runs headless, answers in one call, and emits JSON, so a human and an agent reach the same conclusion from the same trace.
Reads standard VCD dumps and FST, building a fast internal database in a cache directory. Unsupported formats fail loud rather than guessing.
A memory-mapped, compressed waveform store with a level-of-detail pyramid. Signals decode on demand and large hierarchies stay cheap under a bounded memory budget.
Qt5 and OpenGL canvas with a hierarchy tree, signal list and filter, name and value-at-cursor columns, A/B cursors with delta, named markers, snap-to-edge and a full zoom suite.
The why engines walk a failure backward through flops in time, trace an X to its origin, and find the first divergence between a passing and a failing run, hedged as ranked suspects, not asserted proof.
Double-click any SoC instance to inspect that exact instance's pin-connected, value-annotated schematic with push and pop navigation, cursor A/B values and scene-wide search.
Every verb is callable headless and over a built-in MCP server, returning the gated CLI output verbatim, plus signal-level waveform compare, transaction decode and toggle coverage for CI and scripting.
| Stage | Verification, waveform debug and root-cause analysis |
|---|---|
| Waveform formats | VCD and FST, ingested into the internal compressed, memory-mapped database |
| Viewer | Qt5 and OpenGL canvas: hierarchy, signal list, filter, A/B cursors and delta, named markers, snap-to-edge, transaction lanes and per-signal radix, color and grouping |
| Analysis | Temporal root-cause walk, X-origin trace, two-run divergence, signal-level compare, transaction decode and toggle coverage |
| Automation | Headless CLI and built-in MCP server; every engine answers in one call and emits JSON |
| Design level | RTL and gate, technology independent (no PDK required) |
