Skill 检索矩阵
Forenyx 平台包含 28 个专注于特定验证任务的 Skill。本页提供全量 Skill 的功能索引、数据契约及工作流映射说明。
29 个 Skill 契约明细表
| Skill 名称 | 类别 | 输入 ➔ 输出数据契约 | 归属工作流 |
|---|---|---|---|
ic-docx2md | 规格抽取 | .docx / .pdf 文档 ➔ Markdown 规范与图片目录 | 1. 架构审计 |
ic-audit-spec | 架构审计 | Spec.md ➔ FSM 逻辑与 Spec 质量审查报告 | 1. 架构审计 |
ic-audit-prd-spec | 需求对比 | PRD.md + Spec.md ➔ 结构化需求验证报告 | 1. 架构审计 |
ic-audit-soc-prd-spec | 需求对比 | SoC PRD.yaml + SoC 集成 Spec.md + 芯片寄存器描述（选填） ➔ SoC 级需求验证报告 | 1. 架构审计 |
ic-audit-soc-spec | 架构审计 | SoC 集成 Spec.md + 芯片寄存器描述（选填） ➔ IP 级 / 连接级 / 系统级三份 SoC Spec 质量审查报告 | 1. 架构审计 |
ic-audit-design-auto | 编排 | PRD.md + Spec.md ➔ 分阶段审计报告 | 1. 架构审计 |
ic-gen-hal | 代码生成 | Spec.md + 寄存器 .xml ➔ HAL 说明文档 | 1. 架构审计 |
uvm-testplan-gen-feature | 验证计划 | Spec.md + 寄存器 .xml ➔ 功能点报告 .md | 2. 测试计划 |
uvm-testplan-gen-testplan | 验证计划 | 已审核功能点 .md ➔ uvm_testplan.md 计划 | 2. 测试计划 |
uvm-testplan-auto | 编排 | Spec.md ➔ 功能点与 uvm_testplan.md 计划 | 2. 测试计划 |
uvm-env-create | 环境搭建 | IP 名称 + 接口说明 ➔ UVM 骨架与冒烟测试 | 3. 环境构建 |
uvm-env-cfg | 环境搭建 | 配置参数声明 ➔ *_config_db.sv 对象 | 3. 环境构建 |
uvm-env-config-db | 环境搭建 | tb_top 虚接口 ➔ uvm_config_db::set 注入 | 3. 环境构建 |
uvm-env-inf-connect | 环境搭建 | RTL 端口列表 ➔ {ip}_inf_connect.sv 接口文件 | 3. 环境构建 |
uvm-env-impl | 环境搭建 | RTL + Spec + VIP ➔ 完整 Driver/Monitor/Scoreboard | 3. 环境构建 |
uvm-env-sva | 断言构建 | testplan.md + RTL 源码 ➔ sim/sva/*.sv & bind | 3. 环境构建 |
uvm-env-coverage-add | 环境搭建 | 覆盖模型补建清单 + testplan.md ➔ 增量补建 {ip}_coverage.sv（COV=1 编译验证，不跑仿真） | 5. 覆盖率收敛 |
uvm-env-base-seq-gen | 序列生成 | IP 名称 + 协议 ➔ {ip}_base/smoke_sequence.sv | 4. 用例与仿真 |
uvm-testcase-gen-testcase | 用例生成 | testplan.md + [TC_NAME] ➔ TC 类 & Virtual Seq | 4. 用例与仿真 |
uvm-testcase-compile-sim | VCS 仿真 | WORK_DIR + [TC_NAME] ➔ 修 Lint 运行 VCS 输出 Log | 4. 用例与仿真 |
uvm-testcase-debug-failure | 日志 RCA | com.log / run.log ➔ AI 自动修编译错或出 RCA 报告 | 4. 用例与仿真 |
uvm-testcase-wave-rca | 波形 RCA | FSDB 波形 + run.log ➔ 链式迭代根因分析报告 | 4. 用例与仿真 |
uvm-fsdb-wave-extract | 波形提取 | FSDB 波形 + 信号名 ➔ 跳变历史 JSON 数据文件 | 4. 用例与仿真 |
uvm-testcase-auto | 编排 | WORK_DIR + testplan.md ➔ 逐 TC 生成、编译与汇总 | 4. 用例与仿真 |
uvm-coverage-closure | 覆盖率 | VCS 覆盖率报告 ➔ 缺口分析报告（两张人工裁决表）+ testplan 补充条目 | 5. 覆盖率收敛 |
uvm-progress-tracker | 验证管理 | 回归/覆盖率数据 ➔ 维护 uvm_progress.json（每阶段 start_time / duration） | 5. 覆盖率收敛 |
uvm-progress-chart | 可视化 | 进度 JSON ➔ 趋势折线图 (.drawio + .png) | 5. 覆盖率收敛 |
uvm-report-gen | 验证报告 | 覆盖率报告 + 缺陷记录 + testplan.md + RTL ➔ 正式验证报告 .docx（含数据交叉核对与待确认项） | 5. 覆盖率收敛 |
uvm-report-gen-qmd | 验证报告 | 同上，但经 Quarto 渲染 ➔ 一份源文件出 .docx + .html（+ .pdf），带目录 / 表图编号 / 交叉引用 | 5. 覆盖率收敛 |
工作流分类速览
1. 架构设计与需求审计
包含 ic-docx2md, ic-audit-spec, ic-audit-prd-spec, ic-audit-soc-prd-spec, ic-audit-soc-spec, ic-gen-hal, ic-audit-design-auto。
2. 验证计划自动化
包含 uvm-testplan-gen-feature, uvm-testplan-gen-testplan, uvm-testplan-auto。
3. UVM 环境与断言构建
包含 uvm-env-create, uvm-env-cfg, uvm-env-config-db, uvm-env-inf-connect, uvm-env-impl, uvm-env-sva。
4. 用例、仿真与 RCA 调试
包含 uvm-env-base-seq-gen, uvm-testcase-gen-testcase, uvm-testcase-compile-sim, uvm-testcase-debug-failure, uvm-testcase-wave-rca, uvm-fsdb-wave-extract, uvm-testcase-auto。
5. 覆盖率收敛与进度管理
包含 uvm-coverage-closure, uvm-env-coverage-add, uvm-progress-tracker, uvm-progress-chart, uvm-report-gen, uvm-report-gen-qmd。