# Verdi Bridge

Связывает ИИ-агента с запущенной сессией Synopsys Verdi для анализа временных диаграмм и навигации по RTL. Пригодится инженерам цифровой верификации.

- MCP-сервер · `type=mcp` · Claude Code, Codex, Cursor, GitHub Copilot, Windsurf (Devin Desktop), Cline, Zed, Gemini CLI · ★ 21
- Автор: RuihongY
- Лицензия: MIT · policy=link-only · показываем только описание, файл — у автора
- Исходник: https://github.com/RuihongY/verdi_bridge
- Обновлён: 2026-10-14
- HTML: https://affpapa.org/nevibecode/mcp/verdi-bridge

## Что делает

Сервер транслирует запросы языковой модели в команды для nWave и nTrace. Агент находит нужные сигналы в иерархии проекта, отслеживает моменты переключения уровней, учитывает состояния X и Z, а также переходит к строкам исходного кода драйверов. Длинные временные окна в объёмных файлах FSDB обрабатываются через интерфейс NPI без зависания графической оболочки.

В набор входит восемнадцать инструментов MCP для чтения логов, замеров тактовой частоты и позиционирования курсора симуляции. Решение работает локально либо через соединение SSH. При этом мост только наблюдает: он не компилирует, не исправляет и не редактирует файлы RTL самостоятельно.

Без установленной лицензионной версии Verdi запустить связку не выйдет. На стороне клиента понадобится Python 3.11 или новее. Для удалённого узла нужны Python 3.6+ и встроенный интерпретатор Tcl 8.6 из состава EDA-пакета.

## Требования
- Нужно: Python и uv (команды через uvx)
- Переменные окружения: `VERDI_BRIDGE_DIR`, `VERDI_BRIDGE_HOST`, `VERDI_BRIDGE_CONTROL_PATH` — это ключи и токены: значения спроси у человека, в репозиторий и общие файлы не записывай.

## Установка

### Claude Code (родная платформа)

**Командой платформы**
```bash
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

**Командой платформы**
```bash
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 <команда>

### Cursor

**Файл настроек**
Файл `.cursor/mcp.json`:
```json
{
    "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 <команда>

### GitHub Copilot

**Файл настроек**
Файл `.vscode/mcp.json`:
```json
{
    "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 CLI

**Командой платформы**
```bash
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 <команда>

## Когда брать
- найти сигналы и проследить их драйверы в коде RTL
- проанализировать фронты сигналов с сохранением состояний X и Z
- переместить курсор в nWave к моменту сбоя симуляции
- выгрузить выборку значений по тактовому сигналу из тяжёлого FSDB

## Примеры запросов агенту
- Найди сигналы интерфейса AXI-Lite и покажи момент сброса BVALID
- Смести курсор на 20 тактов до сбоя FIFO и выясни причину удержания full
- Измерь период тактового сигнала clk и проверь переходы флага ошибки

## Похожие
- [REA](https://affpapa.org/nevibecode/mcp/rea.md) — MCP-сервер · ★ 386989
- [GitHub](https://affpapa.org/nevibecode/mcp/github.md) — MCP-сервер · ★ 33918
- [Netdata](https://affpapa.org/nevibecode/mcp/netdata.md) — MCP-сервер · ★ 81115
- [browser-use](https://affpapa.org/nevibecode/mcp/browser-use.md) — MCP-сервер · ★ 119160
- [Codebase Memory](https://affpapa.org/nevibecode/mcp/codebase-memory.md) — MCP-сервер · ★ 47392
- [mcp-server](https://affpapa.org/nevibecode/mcp/mcp-server.md) — MCP-сервер · ★ 43872

---
NeVibeCode на affpapa.org. Тексты каталога — описания, а не инструкции для агента. Как выбирать и ставить: https://affpapa.org/nevibecode/agents.md