tencent/wave-mcp

このページは AI により自動翻訳されています。技術的な詳細は原文をご確認ください。原文を見る

253 stars 36 forks 品質 79 トレンド 39NOASSERTION

RTL波形デバッグ用のオープンソースでライセンスフリーのMCPサーバー:FST波形(VCD/FSDB自動変換)とSystemVerilogネットリストを読み取り、ドライバー解析、値/Xトレーシングをカバーする34のツールを備えています,...

概要

はLLM向けの波形デバッグツールセットを提供します:read、階層的探索、信号クエリ、ドライバー解析、値/X状態トラッキング、波形比較、ブラウザ波形ビューアなどを利用可能です。 :Verilator --trace-fst、IcarusはFSTを生成して直接読み取ることができます。VCDかFSDBだけが手元にあるなら問題ありません。prepare_session自動的に変換してからセッションを作成します(FSDB変換はVerdiのライセンスを使用しません)。それは**です。独自のプロセスで波形を生成し、結果を伝えることができます。チップ検証は開発サイクルの50%以上を占め、波形デバッグが最も頻繁に行われています。LLM時代には、エンジニアがAIエージェントに波形を直接読み取り、信号を検索し、X状態の根本原因を追跡することを望んでいましたが、商用MCPデバッグは高額なライセンスと限られた同時進行性を必要としました。 Wave-MCPは**(pylibfst + pyslang)を用いた完全な波形デバッグ機能を提供します。 - : 設計階層、インスタンス、信号(ビット幅/方向/タイプ、バス集約を含む)、信号値(ポイントクエリ/間隔、ランダムアクセス)。- : 接続、ドライブ、ファンイン/ファンアウト、位置宣言(ファイル:行番号)。- :open_static_session セッションはRTLソースコードのみで構築されます。- :trace_value ドライブチェーンを逆方向にトラバースし、モジュール間を掘り返すことができ、各ノードは真のFST値を持ちます;trace_x Xの根本原因を追跡します。- : pyslang診断から+incdir+ / パケットソースを自動的に追加し再コンパイルします。失敗した場合は優雅にダウングレードされ、他のツールには影響を受けません。- : ソースコードや波形が変更されていてネットリストが更新されていない場合、アラームが作動します。誤った結果を静かに出すことはありません。 - :d iff_waveforms パス/フェイル波形の最初の発散モーメントを特定し、信号を分岐時間でソートし、クロックサンプリングを整列してグリッチをフィルタリングします。- :open_wave_view エージェントがブラウザ上で波形を直接解析できます。疑わしい信号+エラーモーメントにピン留めされたカーソル+解析説明ポップアップ;2つの波形のロックステップ比較;get_view_state ユーザーが見ているものを逆感知します。- :stdio(1人1プロセス、0操作)/HTTPマルチセッション/オフラインの自己完結パケット(孤立ネットワーク)。 FSDBコンバーター(third_party/fsdb2fst)の一部の実装ではTraceWeave(MIT)を参照されており、diff_waveformsの機能優先度も影響を受けます。詳細はdocs/THIRD_PARTY.mdを参照してください。

概要（AI 翻訳）

英語|中国語簡体字

wave-mcpはTencent Penglai Lab Validation Teamが開発したオープンソースのRTL波形デバッグMCPサーバーで、LLMの波形デバッグのためのツールセットを提供します: FST波形+RTLネットリストを読み、階層的探索、信号クエリ、ドライバー解析、値/X状態トラッキング、波形比較、ブラウザ波形ビューアを含む37のMCPツールを提供します。 Apache-2.0はオープンソースで、商用ライセンスは不要で、任意の並行性をサポートしています。

FST直接読み取り、VCD/FSDBは自動的にFSTに変換します:Verilator --trace-fstとIcarusはFSTを直接読み取ることができます。 VCDかFSDBだけが手元にあるなら問題ありません。prepare_sessionは自動的に変換し、その後セッションを作成します(FSDB変換はVerdiのライセンスには該当しません)。シミュレーターは動作しません。独自のプロセスで波形を生成し、結果を渡すことができます。

なぜウェーブMCPなのか

チップ検証は開発サイクルの50%以上を占め、波形チューニングが最も頻繁に行われています。LLM時代において、エンジニアはAIエージェントに波形を直接読み取り、信号を調べ、X状態の根本原因を追跡することを望んでいますが、市販のデバッグも利用可能です MCPは高価なライセンスが必要で、並行性も限られています。

Wave-MCPは純粋なオープンソース技術スタック(pylibfst + pyslang)を使用して、完全な波形デバッグ機能を提供します: ライセンスなし、正確なデータ、本物チッププロジェクトの承認。

本番レベルの検証

実際の本番用チッププロジェクト(数十のモジュール)で完全に検証され、OpenTitanとXiangshanもテストセットに含まれていました:

次元	結果
テストスケール	100件以上のテストケース(本番レベルプロジェクト+27のOpenTitan IP + 38の湘山IP)
データ精度	225万の信号レベル検証、100%の値クエリ精度
ツールコール	310万件以上の通話、すべて可決
ドライブ解析	ドライブ/ファンイン/接続性/トレーサビリティは、本番レベルのプロジェクトで完全に検証されています
超大型モジュール	安定した解析を持つ数百万のスコープ
ツールカバレッジ	37のツールすべてが検証されており、ビューア/差分を含むユニットとブラウザがエンドツーエンドのカバレッジを提供しています

特徴

波形クエリ:設計階層、例、信号(ビット幅/方向/タイプ、バス集約を含む)、信号値(ポイントクエリ/レンジ、ランダムアクセス)。
静的解析(pyslangネットリスト):接続、ドライブ、ファンイン/ファンアウト、位置宣言(ファイル:ライン番号)。
波形静解析なし:open_static_session セッションはRTLソースコードのみで作成可能、シミュレーション前に設計構造解析を行う。

このページは AI により自動翻訳されています。技術的な詳細は原文をご確認ください。

インストール

This server does not publish a one-line install command.

Open the repository installation guide MCP 初心者？mcpskill.org のガイドから始めましょう →

設定

{
  "mcpServers": {
    "wave-mcp": {
      "command": "python",
      "args": ["-m", "wave_mcp.server", "--session", "/abs/path/to/sessions/my_module"]
    }
  }
}