Open-source, license-free MCP server for RTL waveform debug (FST + SystemVerilog static analysis), an Indago/Verisium Debug MCP alternative.
Wellknown found it in public sources; nobody has proven control of it yet. Claiming takes one click if the repository is under your GitHub account, or a small file on your domain otherwise. Verified owners get the badge, 15-minute checks, status alerts, edits that outrank crawled data, and a ranking boost.
Agents can do it too: POST https://wellknown.network/api/v1/claims with {"agent":"wave-mcp","method":"well_known_file"} — machine-readable steps at claim.json, guide at /docs/claim.
Everything here was measured by our prober or read from a registry. Nothing is self-reported.
Attributed to the source that supplied each field. Treated as claims, not facts.
# wave-mcp：开源、免 License 的 RTL 波形调试 MCP Server <img src="docs/images/penglai-logo.png" alt="蓬莱实验室" width="200"/> [](https://pypi.org/project/wave-mcp/) [](https://pypi.org/project/wave-mcp/) [](LICENSE) [English](README.en.md) | 简体中文 **wave-mcp 是腾讯蓬莱实验室验证团队开源的一款 RTL 波形调试 MCP Server**，为 LLM 提供波形调试工具集： 读 **FST 波形 + RTL 网表**，提供层次探索、信号查询、驱动分析、值/X 态追踪、波形对比与浏览器波形查看器等 **37 个 MCP 工具**。 **Apache-2.0 开源，无需任何商用 License，支持任意并发。** > **FST 直读，VCD / FSDB 自动转 FST**：Verilator `--trace-fst`、Icarus 直接产 FST 就能读； > 手上只有 VCD 或 FSDB 也没关系，`prepare_session` 自动转换后再建 session（FSDB 转换不占 Verdi license）。 > 它**不跑仿真器**，你用自己的流程跑出波形，把结果交给它即可。 --- ## 为什么是 wave-mcp 芯片验证占据开发周期 50% 以上的时间，波形调试是其中最高频的动作。而 LLM 时代， 工程师希望让 AI Agent 直接读波形、查信号、追 X 态根因，但市面上的商用调试 MCP 需要昂贵的 License，且并发受限。 wave-mcp 用**纯开源技术栈**（pylibfst + pyslang）提供完整波形调试能力： **免 License、数据准确、真实芯片项目背书**。 ## 生产级验证 在**真实生产级芯片项目**（几十个模块）上完整验证，并把 OpenTitan、香山纳入测试集：  | 维度 | 结果 | | --- | --- | | 测试规模 | **一百多个测试 case**（生产级项目 + OpenTitan 27 个 IP + 香山 38 个 IP） | | 数据准确性 | **225 万信号级验证，值查询正确性 100%** | | 工具调用 | 310 万多次调用全部通过 | | 驱动分析 | 驱动 / 扇入 / 连通 / 追溯在生产级项目上全量验证 | | 超大模块 | **百万级 scope 稳定完成分析** | | 工具覆盖 | 37 个工具全部验证，含 viewer / diff 的单元与浏览器端到端覆盖 |  ## 特性 - **波形查询**：设计层次、实例、信号（位宽/方向/类型，含总线聚合）、信号值（点查询 / 区间，随机访问）。 - **静态分析（pyslang 网表）**：连接、驱动、扇入/扇出、声明位置（文件:行号）。 - **无波形静态分析**：`open_static_session` 只凭 RTL 源码建 session，**仿真前即可分析设计结构**。 - **值追踪**：`trace_value` 沿驱动链反向遍历、可跨模块下钻，每个节点带真实 FST 值；`trace_x` 追 X 根因。 - **网表自愈**：从 pyslang 诊断自动补 `+incdir+` / 包源并重编；失败时优雅降级，其余工具不受影响。 - **一致性校验**：源码或波形变了但网表没更新会报警，绝不静默给错结果。 - **波形对比**：`diff_waveforms` 对 pass/fail 两份波形定位首个分歧时刻，按分歧时间排序信号，时钟对齐采样过滤毛刺。 - **波形查看器**：`open_wave_view` 让 agent 分析完直接弹浏览器波形，嫌疑信号 + 游标钉在出错时刻 + 分析说明弹窗；双波形对比…
Mapped onto the structured taxonomy from declared text and observed tool names. Confidence shown for derived entries.
Every source is kept verbatim. Field changes are logged as events.