Verdi Bridge — MCP-сервер для Claude Code: что делает и как установить
Связывает ИИ-агента с запущенной сессией Synopsys Verdi для анализа временных диаграмм и навигации по RTL. Пригодится инженерам цифровой верификации.
claude mcp add --env VERDI_BRIDGE_DIR=<VERDI_BRIDGE_DIR> --env VERDI_BRIDGE_HOST=<VERDI_BRIDGE_HOST> --env VERDI_BRIDGE_CONTROL_PATH=<VERDI_BRIDGE_CONTROL_PATH> --transport stdio verdi-bridge -- uvx verdi-bridgeЧто делает Verdi Bridge
Сервер транслирует запросы языковой модели в команды для nWave и nTrace. Агент находит нужные сигналы в иерархии проекта, отслеживает моменты переключения уровней, учитывает состояния X и Z, а также переходит к строкам исходного кода драйверов. Длинные временные окна в объёмных файлах FSDB обрабатываются через интерфейс NPI без зависания графической оболочки.
В набор входит восемнадцать инструментов MCP для чтения логов, замеров тактовой частоты и позиционирования курсора симуляции. Решение работает локально либо через соединение SSH. При этом мост только наблюдает: он не компилирует, не исправляет и не редактирует файлы RTL самостоятельно.
Без установленной лицензионной версии Verdi запустить связку не выйдет. На стороне клиента понадобится Python 3.11 или новее. Для удалённого узла нужны Python 3.6+ и встроенный интерпретатор Tcl 8.6 из состава EDA-пакета.
Какие задачи решает
- найти сигналы и проследить их драйверы в коде RTL
- проанализировать фронты сигналов с сохранением состояний X и Z
- переместить курсор в nWave к моменту сбоя симуляции
- выгрузить выборку значений по тактовому сигналу из тяжёлого FSDB
Примеры запросов агенту
- Найди сигналы интерфейса AXI-Lite и покажи момент сброса BVALID
- Смести курсор на 20 тактов до сбоя FIFO и выясни причину удержания full
- Измерь период тактового сигнала clk и проверь переходы флага ошибки
Как установить Verdi Bridge
Командой платформы
claude mcp add --env VERDI_BRIDGE_DIR=<VERDI_BRIDGE_DIR> --env VERDI_BRIDGE_HOST=<VERDI_BRIDGE_HOST> --env VERDI_BRIDGE_CONTROL_PATH=<VERDI_BRIDGE_CONTROL_PATH> --transport stdio verdi-bridge -- uvx verdi-bridgeВместо <…> подставьте свои значения. uvx запускает команду с именем пакета; если в README она другая — uvx --from verdi-bridge <команда>
Командой платформы
codex mcp add verdi-bridge --env VERDI_BRIDGE_DIR=<VERDI_BRIDGE_DIR> --env VERDI_BRIDGE_HOST=<VERDI_BRIDGE_HOST> --env VERDI_BRIDGE_CONTROL_PATH=<VERDI_BRIDGE_CONTROL_PATH> -- uvx verdi-bridgeВместо <…> подставьте свои значения. uvx запускает команду с именем пакета; если в README она другая — uvx --from verdi-bridge <команда>
Файл настроек
{
"mcpServers": {
"verdi-bridge": {
"command": "uvx",
"args": [
"verdi-bridge"
],
"env": {
"VERDI_BRIDGE_DIR": "<VERDI_BRIDGE_DIR>",
"VERDI_BRIDGE_HOST": "<VERDI_BRIDGE_HOST>",
"VERDI_BRIDGE_CONTROL_PATH": "<VERDI_BRIDGE_CONTROL_PATH>"
}
}
}
}Вместо <…> подставьте свои значения. uvx запускает команду с именем пакета; если в README она другая — uvx --from verdi-bridge <команда>
Файл настроек
{
"servers": {
"verdi-bridge": {
"type": "stdio",
"command": "uvx",
"args": [
"verdi-bridge"
],
"env": {
"VERDI_BRIDGE_DIR": "<VERDI_BRIDGE_DIR>",
"VERDI_BRIDGE_HOST": "<VERDI_BRIDGE_HOST>",
"VERDI_BRIDGE_CONTROL_PATH": "<VERDI_BRIDGE_CONTROL_PATH>"
}
}
}
}Вместо <…> подставьте свои значения. uvx запускает команду с именем пакета; если в README она другая — uvx --from verdi-bridge <команда>
Командой платформы
gemini mcp add -e VERDI_BRIDGE_DIR=<VERDI_BRIDGE_DIR> -e VERDI_BRIDGE_HOST=<VERDI_BRIDGE_HOST> -e VERDI_BRIDGE_CONTROL_PATH=<VERDI_BRIDGE_CONTROL_PATH> verdi-bridge uvx verdi-bridgeВместо <…> подставьте свои значения. uvx запускает команду с именем пакета; если в README она другая — uvx --from verdi-bridge <команда>
По шагам, с командами для каждой платформы: Как подключить MCP-сервер: Claude Code, Codex, Cursor, VS Code, Gemini CLI и другие
Вопросы о Verdi Bridge
Как установить Verdi Bridge в Claude Code?
Выполните команду claude mcp add verdi-bridge -- uvx verdi-bridge. При удалённой работе через SSH добавьте параметры окружения: `claude mcp add --env VERDI_BRIDGE_DIR=<VERDI_BRIDGE_DIR> --env VERDI_BRIDGE_HOST=<VERDI_BRIDGE_HOST> --env VERDI_BRIDGE_CONTROL_PATH=<VERDI_BRIDGE_CONTROL_PATH> --transport stdio verdi-bridge -- uvx verdi-bridge`.
Что делает Verdi Bridge?
Инструмент предоставляет агенту доступ к живой сессии Synopsys Verdi. Модель может изучать временные диаграммы в nWave, проверять значения шин и переходить к управляющему коду в nTrace.
Умеет ли мост самостоятельно исправлять ошибки в RTL?
Нет, сервер предназначен только для наблюдения и навигации. Он не компилирует симуляцию и не меняет исходные файлы проекта.
