Agent skill

Vivado Waveform Debug

by mapleleavessssssss-wq in mapleleavessssssss-wq/vivado-mcp

使用 vivado-mcp 离线查询 VCD 波形,定位复位、X/Z、信号变化和握手问题;需要新证据时从已选 XSim 仿真导出有限窗口,不把波形查询当测试判定。

Apache-2.0Auto-check passedAgent Workflows

Install Vivado Waveform Debug

skills CLI
$ npx skills add mapleleavessssssss-wq/vivado-mcp --skill vivado-waveform-debug -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install mapleleavessssssss-wq/vivado-mcp vivado-waveform-debug --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/mapleleavessssssss-wq/vivado-mcp.git skills-src && mkdir -p .claude/skills && cp -r skills-src/skills/vivado-waveform-debug .claude/skills/vivado-waveform-debug && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Facts

Skill name
vivado-waveform-debug
GitHub stars
148
Token cost
~588 tokens
SKILL.md length
82 words
Files
1
Skills in repo
5
Repo updated
First seen
Licence
Apache-2.0

At a glance

使用 vivado-mcp 离线查询 VCD 波形,定位复位、X/Z、信号变化和握手问题;需要新证据时从已选 XSim 仿真导出有限窗口,不把波形查询当测试判定。

  • Tasks that involve MCP servers
  • SKILL.md covers 发现信号与时间单位, 缩小窗口并查询, 需要新 VCD 时 and 修复与复测
  • Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md

What it does

Vivado Waveform Debug is an agent skill from mapleleavessssssss-wq/vivado-mcp. 使用 vivado-mcp 离线查询 VCD 波形,定位复位、X/Z、信号变化和握手问题;需要新证据时从已选 XSim 仿真导出有限窗口,不把波形查询当测试判定。

Its SKILL.md is about 590 tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.

It sits in Agent Workflows, covering MCP servers. It works with Model Context Protocol. The repository describes itself as: Vivado MCP server — 让 Claude Code / Cursor / Codex 驱动本地 FPGA 全流程。30 个精选工具、8 个证据驱动 Prompt、doctor 环境自检、GUI/Tcl/attach 会话,以及时序和 CRITICAL WARNING 中文诊断。 The licence is Apache-2.0.

When your agent uses it

  • Tasks that involve MCP servers

Example prompts

  • “/vivado-waveform-debug”

Requirements

  • Python 3

What it can do on your machine

Read from SKILL.md and the folder at commit 41745b2. It shows what the files ask for, not the result of running them.

  • Tool permissions

    Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

    From allowed-tools in the SKILL.md frontmatter.

  • Runs code

    No scripts in the folder and no shell commands in SKILL.md (its code samples are python).

    From the folder's file list and the shell code blocks in SKILL.md.

  • Network

    Links to these hosts (documentation or services it may open):

    • docs.amd.com

    From URLs in SKILL.md, links to its own repository left out.

  • Credentials

    Names no API keys, tokens, secrets or passwords.

    From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Vivado Waveform Debug loads about 588 tokens when it runs. Until then it costs about 26 tokens; SKILL.md has 82 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~26
When it runs · the whole SKILL.md, loaded when a task matches
~588

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Auto-check passed

The automated check found no risky patterns in SKILL.md.

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

The full file from mapleleavessssssss-wq/vivado-mcp at commit 41745b2, republished under its Apache-2.0 licence (© mapleleavessssssss-wq). 82 words, ~588 tokens.

Download SKILL.mdSave it as .claude/skills/vivado-waveform-debug/SKILL.md (or your agent's skills folder).
name
vivado-waveform-debug
description
使用 vivado-mcp 离线查询 VCD 波形,定位复位、X/Z、信号变化和握手问题;需要新证据时从已选 XSim 仿真导出有限窗口,不把波形查询当测试判定。

Vivado 波形诊断

可用入口:query_waveform、get_project_info、run_tcl、safe_tcl。

先提出可证伪的问题,例如“复位释放后 valid 是否出现未知值”。已有 VCD 时直接离线查询,不启动 Vivado。不支持直接读 WDB/FST,也不执行任意表达式或完整 SVA;此流程不编程硬件。

发现信号与时间单位

python
query_waveform(file_path="/work/sim/trace.vcd")

从返回清单选择精确层级名,不能猜测 top 或把向量的位范围拼成未列出的路径。start_time/end_time 是整数 VCD ticks;先读 timescale 再换算物理时间,例如 10 ps/tick 的 100 ticks 是 1 ns。

缩小窗口并查询

python
query_waveform(file_path="/work/sim/trace.vcd", signals=["top.valid", "top.ready"], start_time=0, end_time=1000, max_events=100, condition={"op": "all_equals", "values": {"top.valid": "1", "top.ready": "1"}})
query_waveform(file_path="/work/sim/trace.vcd", signals=["top.data"], start_time=100, end_time=200, max_events=50, condition={"op": "unknown", "signal": "top.data"})

条件还有 equals(signal/value)和 change(signal);value 为二进制字符串,可含 x/z。条件引用的信号必须包含在 signals 中。all_equals 只表示采样值同时满足,不能单独证明某时钟沿发生有效握手。

initial_values 是窗口起点所有同刻更新后的状态;events 记录之后的变化。同刻只保留最终值,不能证明 delta-cycle 或毛刺不存在。equals/unknown/all_equals 也检查起点。依次检查 initial_values_complete、last_complete_time、scan_truncated 和 result_truncated,再解释 matches;截断、未记录信号或空匹配都不能证明问题不存在。simulation_verdict 为 not_evaluated,测试 PASS 仍需 assertion/scoreboard、完成条件和日志。

需要新 VCD 时

只对已选会话和已展开的 XSim 仿真操作。核对 testbench、激励、seed、目标信号与有限运行时间;已有仿真运行过目标窗口时,应保留现有结果,再按原激励重跑,不能补造过去事件。

依据 AMD UG900 的 VCD 命令说明,按以下顺序导出;路径、scope 和时长须替换为本次已核对值,文件使用新的任务路径:

python
safe_tcl(template="open_vcd {0}", args=["/work/sim/trace.vcd"], session_id="design")
safe_tcl(template="log_vcd {0}", args=["/tb/dut/*"], session_id="design")
safe_tcl(template="run {0}", args=["100ns"], session_id="design")
run_tcl(command="close_vcd", session_id="design")

每步检查实际返回;运行失败后也应关闭本次打开的 VCD 并保留日志。不要向共享会话发送 quit,也不要杀掉机器上全部模拟器。不同 Vivado 版本或会话若不接受仿真命令,记录实际错误并在该工程的 XSim Tcl 上下文使用同一导出序列,不声称 VCD 已生成。

修复与复测

区分 DUT、testbench、模型、时钟/复位和导出覆盖问题;一次修一个原因,以相同激励/seed/时长重新仿真、导出并查询相同窗口。两轮无改善则重新分析或报告缺少的可观测性。交付文件来源、timescale、信号/窗口、关键事件、截断状态、修复前后差异及独立测试结论;不能靠删除 assertion 或缩短测试制造通过。

© mapleleavessssssss-wq, Apache-2.0. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

Just SKILL.md in skills/vivado-waveform-debug of mapleleavessssssss-wq/vivado-mcp.

Open the folder on GitHubat commit 41745b2

Compare with similar skills

Vivado Waveform Debug next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

Vivado Waveform Debug compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Vivado Waveform Debug this skillmapleleavessssssss-wq/vivado-mcp148—~588Automated safety check: PassApache-2.0
MCP Server Builderanthropics/skills180k63 repos~2.3kAutomated safety check: PassApache-2.0
MCP Server BuildershareAI-lab/learn-claude-code78k5 repos~1.2kAutomated safety check: PassMIT
MCP Integration for Pluginsanthropics/claude-plugins-official38k11 repos~3.1kAutomated safety check: PassApache-2.0
Crush Configurationcharmbracelet/crush29k—~3.7kAutomated safety check: PassCustom licence
Context Mode Output Sandboxmksglu/context-mode26k—~4.1kAutomated safety check: PassCustom licence

Similar skills

  • MCP Server Builder

    anthropics/skills

    Official

    Guides the design and implementation of Model Context Protocol servers in TypeScript or Python, from tool naming and error messages to evaluation.

    180k GitHub starsUsed in 63 repos~2.3k tokens
    Agent WorkflowsAuto-check passed
  • MCP Server Builder

    shareAI-lab/learn-claude-code

    Walks through building MCP servers in Python or TypeScript that expose tools, resources and prompts to Claude, with templates, registration and testing.

    78k GitHub starsUsed in 5 repos~1.2k tokens
    Agent WorkflowsAuto-check passed
  • MCP Integration for Plugins

    anthropics/claude-plugins-official

    Official

    Explains how to bundle Model Context Protocol servers in a Claude Code plugin, covering config files, stdio, SSE, HTTP and WebSocket server types, and authentication.

    38k GitHub starsUsed in 11 repos~3.1k tokens
    Agent WorkflowsAuto-check passed
  • Crush Configuration

    charmbracelet/crush

    Explains how to configure the Crush coding agent with crushrc or crush.json, covering providers, models, LSPs, MCP servers, hooks, permissions and config precedence.

    29k GitHub stars~3.7k tokensUpdated today
    Agent WorkflowsAuto-check passed
  • Context Mode Output Sandbox

    mksglu/context-mode

    Routes large command, file, API and browser output through context-mode tools so only the needed result enters the agent's context, instead of dumping it via Bash.

    26k GitHub stars~4.1k tokensUpdated today
    Agent WorkflowsAuto-check passed
  • Migrates the compatible subset of settings and global file-based MCP servers from the Warp desktop app into Warp Agent CLI without exposing credentials or state.

    65k GitHub starsUsed in 1 repo~2.1k tokens
    Agent WorkflowsAuto-check passed

More from mapleleavessssssss-wq/vivado-mcp

  • Vivado Cdc Audit

    mapleleavessssssss-wq/vivado-mcp

    使用 vivado-mcp 结构化读取 Vivado CDC 报告,核对跨时钟域的同步结构、协议和约束;支持离线报告审查,不把空报告或零严重项当作完整签核。

    148 GitHub stars~528 tokensUpdated 17 days ago
    Auto-check passed
  • Vivado Constraints Authoring

    mapleleavessssssss-wq/vivado-mcp

    为 Vivado 工程建立或审查 XDC 时钟、I/O 延迟和时序例外,依据板级与接口参数验证对象和约束覆盖;不猜引脚、频率或外设时序,不用例外掩盖违例。

    148 GitHub stars~518 tokensUpdated 17 days ago
    Auto-check passed
  • Vivado Project Bringup

    mapleleavessssssss-wq/vivado-mcp

    接管或建立 Vivado FPGA 工程,核对源文件、约束、顶层和构建状态,通过 vivado-mcp 完成请求范围内的综合、实现和产物检查。

    148 GitHub stars~571 tokensUpdated 17 days ago
    Auto-check passed
  • Vivado Timing Closure

    mapleleavessssssss-wq/vivado-mcp

    使用 vivado-mcp 分析 Vivado setup、hold 和脉宽时序,比较保存的基线并按证据迭代修复;支持离线报告分析,不将摘要指标视为完整签核。

    148 GitHub stars~548 tokensUpdated 17 days ago
    Auto-check passed

Categories

Questions about Vivado Waveform Debug

What does Vivado Waveform Debug do?

使用 vivado-mcp 离线查询 VCD 波形,定位复位、X/Z、信号变化和握手问题;需要新证据时从已选 XSim 仿真导出有限窗口,不把波形查询当测试判定。. Vivado Waveform Debug is an agent skill from mapleleavessssssss-wq/vivado-mcp.

When should I use Vivado Waveform Debug?

Vivado Waveform Debug fits situations like: tasks that involve MCP servers.

How do I install Vivado Waveform Debug in Claude Code?

Run `npx skills add mapleleavessssssss-wq/vivado-mcp --skill vivado-waveform-debug -a claude-code`. Or copy the skill folder (skills/vivado-waveform-debug in mapleleavessssssss-wq/vivado-mcp) into .claude/skills/vivado-waveform-debug in your project. Claude Code loads it when a task matches its description.

How do I install Vivado Waveform Debug in Codex?

Run `npx skills add mapleleavessssssss-wq/vivado-mcp --skill vivado-waveform-debug -a codex`. Or copy the skill folder (skills/vivado-waveform-debug in mapleleavessssssss-wq/vivado-mcp) into .agents/skills/vivado-waveform-debug in your project. Codex loads it when a task matches its description.

Can I use Vivado Waveform Debug in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add mapleleavessssssss-wq/vivado-mcp --skill vivado-waveform-debug -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/vivado-waveform-debug, .gemini/skills/vivado-waveform-debug, .github/skills/vivado-waveform-debug and .opencode/skills/vivado-waveform-debug in your project.

What does Vivado Waveform Debug need to run?

SKILL.md names no scripts, command-line tools or credentials: Vivado Waveform Debug is instructions for the agent only. Our summary lists: Python 3.

Does Vivado Waveform Debug access the network?

SKILL.md names 1 domain. As links in the text: docs.amd.com. This is read from the text; nothing was executed.

Is Vivado Waveform Debug safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.

What licence does Vivado Waveform Debug use?

Vivado Waveform Debug is published under the Apache-2.0 licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.

How many tokens does Vivado Waveform Debug use?

About 588 tokens (SKILL.md is roughly 2.4k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.

What are the alternatives to Vivado Waveform Debug?

Skills that share tags, products or a category with Vivado Waveform Debug: MCP Server Builder (anthropics/skills, 180k stars), MCP Server Builder (shareAI-lab/learn-claude-code, 78k stars), MCP Integration for Plugins (anthropics/claude-plugins-official, 38k stars) and Crush Configuration (charmbracelet/crush, 29k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Vivado Waveform Debug?

mapleleavessssssss-wq (a GitHub user) maintains it in mapleleavessssssss-wq/vivado-mcp, which has 148 GitHub stars. The repository holds 5 skills in this directory. The repository was last updated on September 22, 2026.

Source: mapleleavessssssss-wq/vivado-mcp on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.