xverif MCP
Xverif дает агентам для верификации чипов детерминированные инструменты отладки RTL, волн, покрытия и SVA через один MCP-сервер.
- 118 ★ репозитория
- Последний коммит
- MIT
Расширенный доступ
Почему такой уровень
- Агент получает запись файлов и управление живыми сеансами симулятора.
- Часть функций требует лицензированного стороннего ПО.
Установка
- Работает в
Ручная установка
python -m xverif_mcp.serverЗапускается из клона репозитория как stdio-сервер MCP, зависимости описаны в README.
Доступ и проверки
Как мы проверяемРасширенный доступИнструмент запускает код или ходит в сеть, а внешние данные только читает.
- Агент получает запись файлов и управление живыми сеансами симулятора.
- Часть функций требует лицензированного стороннего ПО.
Это чужой код. Посмотрите файлы в репозитории перед установкой.
Что делает
Xverif, локальный набор для агентов отладки при верификации микросхем, собирает точные инструменты вместо догадок модели. `xdebug` отвечает на вопросы по проекту и волнам, `xbit` считает значения SystemVerilog, `xcov` читает базы покрытия VCS и Verdi, `xsva` разбирает утверждения SVA, `xsimdebug` ведет живой сеанс VCS или Xcelium. Единый MCP-вход `tools/xverif-mcp` работает по stdio. Состояние держат только `xdebug` и `xcov`, остальные инструменты вызываются как адаптеры без состояния. Выход по умолчанию — компактный текстовый формат `xout`.
Для кого. Инженерам по верификации ASIC и FPGA, которые отлаживают симуляции вместе с ИИ-агентом.
Подходит, если
- Агент ищет, откуда в волне взялось значение сигнала в конкретный момент.
- Нужно получить список непокрытых объектов из базы покрытия с ссылками на исходники.
- Многотактные фрагменты байтов декодируют в поля по описанию.
- Утверждение SVA надо объяснить через структурированное представление.
Не подходит, если
- Нет лицензии Synopsys Verdi и VCS.
- Нужен только генератор RTL, а не отладка существующего проекта.
- Окружение не дает собрать C++-обертку NPI.
Пример запроса к агенту
Открой базу волн, найди последний фронт сигнала `valid` до ошибки и объясни, откуда пришло его значение.MCP
- Транспорт
- stdio
- Авторизация
- не нужна
Переменные окружения
VERDI_HOME- Путь к собственной лицензированной установке Synopsys Verdi для функций xdebug и xcov
Ограничения
Часть возможностей `xdebug` и `xcov` требует отдельно купленных прав Synopsys и локальной установки Verdi. Репозиторий не содержит библиотек NPI и FSDB, их нельзя распространять вместе с проектом. Сборка зависит от версии компилятора и ABI библиотеки, поддержка каждой связки не гарантируется. MCP открывает агенту запись файлов и изменение состояния сессий. Нужен Python 3.11 или новее. Правами на программы Synopsys пользователь распоряжается сам: проект их не выдает.
Как отключить. Удалите запись `xverif` из конфигурации MCP-клиента, завершите сеансы `xdebug` и `xcov` и удалите клон репозитория. Каталог `~/.xdebug` и кэш тестов очистите отдельно.
Частые вопросы
Что работает без лицензии Synopsys?
Инструменты `xbit`, `xentry`, `xloc` и `xsva` не читают базы Verdi. Нужны только `xdebug` и `xcov` для работы с NPI, FSDB и покрытием.
Как запустить MCP-сервер?
Через `tools/xverif-mcp`, это stdio-сервер, он же `python -m xverif_mcp.server`.
Как подключить агента к удаленной EDA-машине?
Настройте `mcp_ssh`: клиент запускает его локально, а серверный процесс идет на хост EDA через ssh. Параметры задают переменные `XVERIF_MCP_SSH_HOST` и `XVERIF_MCP_SSH_REMOTE_ROOT`.
Для чего нужен xwiki?
Он хранит постоянные знания о проекте верификации, чтобы агент не терял контекст между сеансами.
Что такое формат xout?
Это компактный структурированный текст, в котором команды xverif выдают результат по умолчанию, кроме явных машинных протоколов.
Обсуждение
Вопросов и отзывов пока нет.
Похожие
MCP-серверыОфициальный отладчик MCP-серверов: веб-интерфейс, CLI для автоматизации и терминальный интерфейс в одном пакете
Удаленный MCP-сервер UI Verify: агент разбирает изменения интерфейса в pull request, смотрит диффы и принимает нужные эталоны
MCP Interviewer проверяет MCP-сервер до подключения агента: лимиты провайдеров, тесты инструментов и отчет в Markdown.
METR
METR (MCP 1C:Enterprise Test Runner)
MCP-сервер, через который агент обновляет информационную базу 1С, запускает тесты YaXUnit и проверяет синтаксис
MCP-сервер, который проверяет, правда ли агент закончил: гоняет реальное приложение и возвращает вердикт прошло, не прошло, неясно с указанием файла и строки
MCP-сервер отладки Electron: 111 инструментов, чтобы агент видел окно, нажимал кнопки, читал консоль и сеть и проверял защиту.
Коротко о README
README перечисляет десять инструментов набора, объясняет границу открытого кода и проприетарных зависимостей Synopsys и описывает сборку, тесты и подключение по ssh.