Skip to main content

BLANK2077/xverif

SkillsMP 已收集 BLANK2077/xverif 中的 5 个 Skill。打开任一 Skill 可查看来源和详情。

最近记录的来源活动
SkillsMP 收录数据更新
已收集 skills
5
GitHub 星标
97
GitHub Forks
33

已展示 5 / 5 个已收集 Skill。

职业分类
软件开发工程师
描述

用于 xverif 的安装配置、MCP direct/LSF backend、SDK-free LSF CLI、 UDS/TCP/file transport、session tombstone/gc、timeout、环境变量、license 和 server 启动排障。普通波形、coverage、bit 或协议查询使用 xverif。

更新
职业分类
软件质量保证分析师与测试员
描述

用于芯片验证中的确定性事实查询和计算:daidir/FSDB debug、coverage、 SystemVerilog bit 计算、entry 解码、日志位置恢复、SVA 解释和波形渲染。 先按任务选择能力,再按环境选择 MCP 或 CLI。批量 pynpi 分析用 x-npi, 运维用 xverif-admin,持续知识用 xwiki。

更新
职业分类
软件开发工程师
描述

当 AI agent 需要定位 SystemVerilog/UVM 验证问题、重新编译代价过高或不允许再次编译,并需要直接通过终端 PTY 使用 Synopsys VCS UCLI 或 Cadence Xcelium/Xrun Tcl 实时调试正在运行的仿真时使用,包括断点、Ctrl-C 暂停、运行时变量查询和控制流。若已有仿真 log 已足以定位问题,则不使用本 skill。

更新
职业分类
软件开发工程师
描述

当 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 启动。

更新
已展示 5 / 5 个已收集 Skill。