菜单
用于芯片验证中的确定性事实查询和计算：daidir/FSDB debug、coverage、 SystemVerilog bit 计算、entry 解码、日志位置恢复、SVA 解释和波形渲染。 先按任务选择能力，再按环境选择 MCP 或 CLI。批量 pynpi 分析用 x-npi， 运维用 xverif-admin，持续知识用 xwiki。
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
当 AI agent 需要使用 Synopsys pynpi 编写 Python 脚本，进行批量 FSDB 波形统计、值扫描、APB/AXI/valid-ready stream 协议分析、VCS/Verdi coverage database 查询，或静态设计 driver/load 查询时使用。离线大规模分析脚本和报告优先使用本 skill；xdebug 风格的实时 active-driver 根因定位或 PVC active-driver 检查不要使用本 skill。
当 AI agent 需要在芯片验证任务中复用持续记忆时使用：查询或维护由 XWIKI_DIR 指向的验证项目 LLM wiki，了解验证环境、DUT 功能、 接口、testbench、sequence、checker、coverage、workflow、debug 入口、 BT/IT/ST/SoC 项目上下文，并在用户明确要求、项目 AGENTS.md 授权或任务明确 包含知识沉淀时把稳定发现编译回 wiki，避免每次 session 从 0 启动。
用于 xverif 的安装配置、MCP direct/LSF backend、SDK-free loop、 UDS/TCP/file transport、session tombstone/gc、timeout、环境变量、license 和 server 启动排障。普通波形、coverage、bit 或协议查询使用 xverif。
| name | xverif |
| description | 用于芯片验证中的确定性事实查询和计算：daidir/FSDB debug、coverage、 SystemVerilog bit 计算、entry 解码、日志位置恢复、SVA 解释和波形渲染。 先按任务选择能力，再按环境选择 MCP 或 CLI。批量 pynpi 分析用 x-npi， 运维用 xverif-admin，持续知识用 xwiki。 |
这是唯一通用隐式入口。先判断用户要解决的问题，不要先猜 CLI/MCP。
| 用户意图 | 能力参考 |
|---|---|
| 信号、scope、driver/load、波形、协议、active driver、窗口证明 | xdebug |
| VDB coverage、hole、scope、源码 evidence | xcov |
| literal、slice、mask、表达式 | xbit |
| entry/descriptor/header fields | xentry |
恢复 L_XXXXXXXX 源码位置 | xloc |
| SVA temporal semantics | xsva |
list.export 后渲染 JPG/stats | xwaveform workflow |
| 全量 xdebug action 的用途和合同入口 | 全量 action 索引 |
| MCP/CLI 请求包装 | surface 选择 |
| 统一证据字段和 partial/truncated 处理 | 证据合同 |
| 同一 canonical example 的三种请求包装 | 生成的 surface 示例 |
批量 FSDB/VDB 扫描或自定义报告使用 x-npi；安装、LSF、transport、timeout、session 运维使用 xverif-admin；项目长期知识使用 xwiki。
