Verdi Bridge

io.github.RuihongY由 GitHub 帳號 RuihongY 發布v0.3.3更新於 Oct 24, 2026

Inspect waveforms and navigate RTL in live Synopsys Verdi. Requires a licensed Verdi installation.

已驗證STDIO僅桌面開發者工具資料與分析

概覽

AI 產生的概覽

把 AI 助理連上正在執行的 Synopsys Verdi 工作階段,用來尋找訊號、檢視波形並跳至 RTL 原始碼。

可以做什麼
  • 尋找並顯示訊號:搜尋訊號、瀏覽階層範圍、把訊號加入波形視窗。
  • 定位時間與錯誤:設定游標、設定時間視窗、跳到錯誤之前。
  • 檢視實際取值:尋找轉態、讀取取值變化、取樣訊號,並保留 X/Z 值。
  • 彙整長時間視窗:統計變化次數、依時脈取樣。
  • 找出錯誤時刻與時脈:讀取日誌、量測時脈週期。
  • 沿驅動追進 RTL:追蹤驅動、讀取原始碼與原始碼檔案、跳至原始碼。
適用情境
適用於已安裝授權 Verdi 的 RTL 除錯情境:希望助理把相關訊號顯示在畫面上、檢視其轉態並開啟驅動原始碼,同時你在同一個圖形介面中跟著看。可在本機或透過 SSH 使用。
執行需求
需要授權的 Synopsys Verdi 安裝(不隨附任何廠商軟體);用戶端需 Python 3.11+,遠端主機需 Python 3.6+ 與 Verdi 的 Tcl 8.6。安裝 verdi-bridge 套件或以 uvx 執行,在 Verdi 中載入隨附的 Tcl 轉接器,再啟動 stdio 伺服器。選用環境變數 VERDI_BRIDGE_HOST、VERDI_BRIDGE_DIR、VERDI_BRIDGE_CONTROL_PATH 用來設定 SSH 與工作階段路徑。
安裝前請注意
實驗性版本 v0.3.3;附加到任意既有的圖形介面尚未另行驗證,且它不會編譯、編輯或修復 RTL。它會操作正在執行的圖形介面,助理的動作會改變你工作階段中的顯示內容。VERDI_BRIDGE_HOST 與 VERDI_BRIDGE_CONTROL_PATH 指向 SSH 主機與 socket,應視為敏感的連線資訊。與 Synopsys 無關聯。

安裝

在 SourceWeft 中

  1. 開啟 儀表板中的 Verdi Bridge,將其新增到工作區。
  2. 為需要使用其工具的對話啟用該服務。

Desktop only,透過 STDIO。 STDIO 服務會啟動本機處理程序,因此需要 SourceWeft 桌面主機。

其他 MCP 客戶端

參照 儲存庫 中的啟動說明。

README

[Verdi Bridge — connect AI agents to your live Verdi session]

[PyPI] [Tests] [MIT license] [Python 3.11 or newer]

Getting started · Tool reference · Architecture · 中文

Give your RTL debugging agent eyes on the waveform

Connect your AI agent to live Synopsys Verdi. Let it find signals, inspect transitions, move through simulation time, and open the driving RTL—all in the same GUI you use to debug.

“Add the FIFO read/write pointers, go 20 cycles before the error, and investigate why full stayed high.”

“When did BVALID drop? Show the handshake signals and the code that drives it.”

Verdi Bridge turns those requests into observations from your simulation and visible actions in nWave and nTrace. The agent reasons; the bridge observes. Eighteen typed MCP tools work locally or over SSH with your existing Verdi setup.

Video walkthrough

Ask an agent to investigate a bug, then watch it choose signals, inspect live waveforms and navigate RTL. A 1m38s silent demo: an English prompt and original English agent replies beside synchronized Verdi capture. This is a separate English-language run, not a translation. Tool calls are selected by the agent, not a replay script.

https://github.com/user-attachments/assets/b041c1bd-4be5-4040-b281-2f15001b1e35

English video · 中文视频

How this was recorded · Installation tutorial

Quick start

sh
pip install verdi-bridge

Or run without a checkout using uv:

sh
uvx verdi-bridge tcl-path

This prints the bundled Tcl adapter path. Load it in Verdi and connect your MCP client, then use uvx verdi-bridge serve as the stdio server. A licensed Verdi installation is required. Client: Python 3.11+; remote host: Python 3.6+ and Verdi's Tcl 8.6. No vendor software is bundled.

What you can do

WorkflowTools
Find and display signalsfind_signals, browse_scope, add_signals
Navigate an error windowset_cursor, set_time_window, jump_before_error
Inspect actual waveform valuesfind_transitions, get_value_changes, sample_signals
Summarize long windowscount_changes, sample_on_clock
Discover error times and clocksread_log, measure_clock
Follow drivers into RTLtrace_driver, read_source, read_source_file, goto_source

Waveform queries preserve X/Z values. Long windows on large FSDBs can run through Verdi's NPI reader outside the GUI, so the GUI stays responsive. Time arguments carry explicit units. The same interface works with different RTL designs; no FIFO-specific logic is built into the bridge. See the Python and CLI examples.

See it in a real debugging session

Tested with UART TX, AXI-Lite, FIFO and arbiter RTL in licensed VCS/Verdi sessions. The agent can put relevant signals on screen, inspect their changes, and navigate to source while you follow along.

[UART waveform and source in Verdi]

Real RTL examples · Blind debugging trial · Validation results and limitations

Project status

Experimental v0.3.3. Live checks used Verdi T-2022.06-SP2-1 on Linux, including the SSH, session and large-FSDB changes of v0.3.2–v0.3.3 (up to a 2.7 GB FSDB). New-session startup is verified; attachment to an arbitrary existing GUI is not yet separately validated. The bridge does not automatically compile, edit or repair RTL.

Contributing · Trust boundary · Validation limits · Report an issue

Inspired by the agent-to-EDA-tool workflow of virtuoso-bridge-lite. This is an independent implementation. MIT licensed; see third-party notices. Not affiliated with Synopsys. Verdi is a Synopsys trademark.

來源:README.md,提交 62070a3

工具

0
SourceWeft 尚未在沙箱中啟動過該軟體包,因此其工具未知。

版本歷史

2
  1. v0.3.3最新Oct 15, 2026
  2. v0.3.2Oct 14, 2026

評分

已滿足適用檢查項的 50%

該評分衡量此收錄條目的完整程度,依據註冊中心條目、端點與公開來源計算得出。它不是對伺服器本身的評價,也不表示伺服器安全或目前可用:可連通性是帶日期的檢查結果,評分也不包含安裝量或使用者評價。

  • 近 30 天內可連通25 分

    請保持端點能夠回應 MCP 握手;SourceWeft 每 30 天探測一次。

  • 已宣告認證方式10 分

    請在註冊中心條目中宣告憑證請求標頭,或保持端點能夠回應探測,以便判定其認證方式。

  • 已列出工具15 分

    請讓伺服器在無憑證時回應 tools/list,或發布可在沙箱中無憑證啟動的軟體包。

  • 描述必需15 分
  • 圖示10 分
  • 文件15 分
  • 授權條款10 分