xsimdebug SKILL.md skillA
xsimdebug from blank2077/xverif is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.
mdr add blank2077/xverif/xsimdebug@git:20260814.2f80afbPins git:20260814.2f80afb in mdr.lock. Pin the fingerprint instead.
- Audit grade
- A, 17 of 17 checks passed
- Kind
- SKILL.md skill
- Repository
- blank2077/xverif
- Path
skills/xsimdebug/SKILL.md- Versions recorded
- 2
- Latest version
- git:20260814.2f80afb, committed Aug 14, 2026
- First version recorded
- Aug 14, 2026
- Size
- 4,369 bytes
- Repository stars
- 114
- License
- MIT
当 AI agent 需要定位 SystemVerilog/UVM 验证问题、重新编译代价过高或不允许再次编译，并需要直接通过终端 PTY 使用 Synopsys VCS UCLI 或 Cadence Xcelium/Xrun Tcl 实时调试正在运行的仿真时使用，包括断点、Ctrl-C 暂停、运行时变量查询和控制流。若已有仿真 log 已足以定位问题，则不使用本 skill。.
Collected from public GitHub. Every version is saved exactly as it was and never changes. Install it at an exact version with the mdr tool, and every file is checked before it reaches your agent. The main file is checked against the SHA-256 fingerprint recorded here, and the others against the fingerprints GitHub keeps for its source commit. The automatic checks below grade the latest version, and the same checks always give the same file the same grade.
What the file says
# xsimdebug
直接持有模拟器 PTY session，通过 stdin/stdout/stderr 实时交互。不要为此搭建 Python、MCP、UDS 或额外 daemon。
## 是否触发
先阅读已有仿真 log。若 log 已经给出足够证据，可直接定位根因或明确下一步修复，则不触发本 skill。只有仍需观察运行时状态，并符合以下任一场景时才使用：
- 需要通过交互式运行时现场定位验证问题；
- 重新编译代价过高，希望复用已有可调试仿真产物；
- 当前流程不允许再次编译，只能在已有仿真上继续调查。
本 skill 不是默认的日志分析入口，也不应替代成本更低且证据已经充分的 log 定位流程。
## 路由
先确认实际模拟器，再只读取对应参考：
- VCS/simv：读取 [references/vcs-ucli.md](references/vcs-ucli.md)。它使用 UCLI；按 UVM hierarchy path 设置实例断点或查询成员时加载随 skill 携带的 [scripts/uvm_component_break.tcl](scripts/uvm_component_break.tcl)。
- Xcelium/Xrun：读取 [references/xrun-tcl.md](references/xrun-tcl.md)。优先使用 `$uvm:{...}` 逻辑路径和 Xcelium 原生 Tcl，不加载 VCS helper。
不要把两个模拟器的命令混用，也不要在一个入口失败后静默切换模拟器。
## 共同边界
- 遵守项目对 license 和真实 EDA 工具的宿主执行要求；在 xverif 仓库中直接在沙箱外运行。
- 保持同一个 PTY session。启动后持续向该 session 写命令，不为每条命令新建 shell 进程。
- 不确定命令、选项或版本差异时，先在模拟器 prompt 执行 `help` 和 `help <command>`；以当前安装版本返回的帮助为准。
- 运行中需要主动暂停时，向同一个 PTY 注入 Ctrl-C 字节 `0x03`；返回 prompt 后检查当前位置和调用栈。
- 交互运行会自动产生 key 命令历史文件：VCS 为启动目录下的 `ucli.key`，Xrun 为运行目录下的 `xrun.key`；不要为此修改启动参数。回看执行过哪些命令时第一选择是 key；需要命令输出、错误和上下文时，再读取启动命令现有 `-l` 所指向的 log，不依赖终端 scrollback。
- key/log 是模拟器生成的记录，不是 PTY 的逐字节录像；Ctrl-C 等控制字节、终端回显和 prompt 可能不会完整出现。
…Read the whole file at its exact version.
How to install
mdr add blank2077/xverif/xsimdebug@sha256:f0df0fd643812f3fThe line at the top of this page pins the label git:20260814.2f80afb, which is what most people want. This one pins the sha256 fingerprint of the contents instead, so it survives a label being moved. Either way the exact version is written to mdr.lock, and mdr install downloads and checks those contents again, so it installs them exactly or stops with an error.
[](https://markdownregistry.com/a/art_ym72n24xqcllt44j)
3 badge image fetches in 30 days. What the badge shows.
Versions
The registry has recorded 2 versions of this file, all committed on Aug 14, 2026.
| version | committed | commit | size | audit | |
|---|---|---|---|---|---|
| git:20260814.2f80afb latest | 2026-08-14 | 2f80afb | 4,369 B | A | view · diff |
| git:20260814.7c0d1df | 2026-08-14 | 7c0d1df | 3,797 B | A | view |
Audit of the latest version
- pass: Frontmatter block present
- pass: Frontmatter declares a name
- pass: Frontmatter declares a description
- pass: Size between 200 bytes and 200 KB (4369 bytes)
- pass: No zero-width or bidi control characters
- pass: No instruction hidden inside an HTML comment
- pass: No link to an exfiltration or paste host
- pass: No credential-shaped string
- pass: No instruction to send local credentials anywhere
- pass: No text hidden with inline styles
- pass: No prompt-injection phrasing
- pass: No curl or wget piped into a shell
- pass: No recursive delete of root, home or parent
- pass: No instruction to read or print local credentials
- pass: No base64 blob over 200 characters
- pass: No link to a raw IP address
- pass: No script tag
Source
blank2077/xverif · 114 stars · license MIT · pushed 2026-10-21 · branch master
API
GET https://markdownregistry.com/api/v1/artifacts/art_ym72n24xqcllt44j GET https://markdownregistry.com/api/v1/resolve?ref=blank2077/xverif/xsimdebug GET https://markdownregistry.com/api/v1/blob/f0df0fd643812f3f5bd5add59be5c41c815e0ed1979994f5b5409d1c48c01fef
Your AI assistant does the legwork. You hear about the deals worth your word. Hand yours the standing instructions at modelranch.com and it joins the network that reads files like this one.
Guides: the SKILL.md format and its required fields · what to check before you install a skill · how to pin a skill to an exact version · where to find agent skills · keeping a team on the same skills · which agent file does what.