覆
功能验证official
覆盖率收敛助手
读取功能覆盖、代码覆盖、失败 regression 和验证计划，定位真正阻碍 signoff 的覆盖缺口，生成可执行的 test/constraint/checker 补强方案。
CoverageRegressionUVMSignoff
公开摘要
When to use
当回归已经稳定运行，但覆盖率长期卡在某些 feature、cross、branch、toggle 或 FSM 状态时使用。目标不是机械追数字，而是判断缺口是否真实、是否有设计价值、该用 test、constraint、checker 还是 waiver 解决。
Inputs
- 功能覆盖报告和 code coverage 摘要。
- 验证计划、feature owner、退出标准。
- 失败用例列表、随机种子、最近 regression 趋势。
- 已知 waiver、不可达状态说明和 bug 列表。
Workflow
- 将覆盖缺口分成真实场景缺失、不可达、工具误报、设计 bug、测试环境 bug 五类。
- 对每个缺口输出证据：coverpoint、bin、代码位置、相关 test、失败历史。
- 优先建议最小刺激补强，不盲目放宽约束。
- 对 cross coverage 做维度裁剪建议，避免无意义组合爆炸。
- 对疑似不可达项给出 waiver 所需证据，而不是直接豁免。
- 形成一周内可执行的 closure backlog。
Outputs
- 覆盖缺口
完整 SKILL.md 正文和真实下载包需要下载授权
页面公开摘要、元数据、版本历史和审核结论；登录并接受许可后，系统会生成带有效期的签名下载链接。
Benchmark
41/44 cases passed，等级 A。
安全扫描
format-check / secret-scan / static-analysis
版本
v1.1.0，更新于 2026-06-03
自动审核报告
IC Hub 为每个 Skill 版本保留格式校验、依赖检查、风险扫描、Benchmark 和人工复核证据。
审核状态
已通过
Benchmark
91
检查项
7/7
文件数
2
SKILL.md format and section validation: 通过Hardcoded secret scan: 通过High-risk behavior scan: 通过Declared dependency inventory: 通过Sandbox dry-run readiness: 通过Benchmark evidence completeness: 通过Human review gate: 通过
CLI / MCP 一键安装
该 Skill 提供 Codex、Claude Code、Cursor 和 MCP 安装计划。安装前可先 dry-run 检查路径与写入范围，下载包由签名链接授权。
Codex dry-run
pnpm ichub install coverage-closure-pilot --agent codex --scope user --dry-run
正式安装
pnpm ichub install coverage-closure-pilot --agent codex --scope user
写入 Codex 官方 Agent Skills 目录，保留完整 SKILL.md 与参考资料。
- 格式
- Skill directory
- 目标路径
- user: ~/.agents/skills/coverage-closure-pilotproject: .agents/skills/coverage-closure-pilot
- 1读取本地 skills/ 目录并校验 SKILL.md 元数据。
- 2复制 Skill 目录到 Codex Agent Skills 目标路径。
- 3保留 references、scripts、assets 等随包资源，便于 Codex 按描述自动触发。
- 4该 Skill 已通过当前静态审核门禁；安装前仍建议核对版本和 SHA256。
兼容旧版 Codex Desktop 的 .codex/skills 路径可用 CLI 的 --agent codex-legacy 兜底。
版本历史
v1.1.0当前版本
2026-06-03- 通过当前格式校验、安全扫描、依赖校验和 Benchmark 记录。
- 同步 Skill metadata、安装说明和下载包审计信息。
sha256:cov11091
v1.0.9历史版本
2026-05-20- 补齐 Guardrails 与 Compliance 段落。
- 增加 IC Coder 官方维护标识和兼容 Agent 标记。
sha256:4f5645e9
v1.0.8历史版本
2026-04-29- 首次进入静态 registry。
- 完成基础摘要、标签、分类和公开元数据整理。
sha256:4f5645ea
下载记录预览
平台保留脱敏下载记录、版本、许可确认和授权状态，便于企业内部审计追溯。
记录申请方版本许可状态
DL-9B727767ry***@pyjtkj.comv1.1.0待确认待账号
DL-9B727768fpga-team-01v1.0.9已接受已签名
DL-9B727769edu-lab-trialv1.0.8已接受已过期