返回审核报告查看 Skill 详情 11/1127/2811/114/5
已通过算法建模与仿真验证v3.0.0
覆盖率收敛助手
把覆盖率报告和测试列表映射到需求,输出覆盖缺口、补测优先级和不可达说明。适合仿真回归、功能验证、交付评审和持续集成测试,重点解决“覆盖率低不一定都要补,必须区分真实缺口、不可达逻辑和无意义覆盖”这类真实 FPGA 项目问题。输出 覆盖缺口表、补 case 优先级和可执行的后续动作。
Benchmark
93
通过率
96.4%
检查项
7
风险等级
低
复核结论
可发布
自动检查
SKILL.md 格式与章节校验
通过证据
skills/coverage-closure-planner/SKILL.md
- 必需的 frontmatter 和章节已存在。
硬编码密钥扫描
通过证据
skills/coverage-closure-planner
- 未发现私钥、云密钥、token 或长通用密钥。
高风险行为扫描
通过证据
skills/coverage-closure-planner
- 未发现递归删除、云 metadata 访问、编码 shell 或未复核外传动作。
依赖声明检查
通过证据
skills/coverage-closure-planner
- 该 Skill 包未包含运行时依赖清单。
沙箱 dry-run 就绪性
通过证据
skills/coverage-closure-planner
- 该包以文档和参考资料为主,已标记为 dry-run 就绪。
Benchmark 证据完整性
通过证据
skills/coverage-closure-planner/SKILL.md
- 评分 93,等级 A,通过率 96.4%。
人工复核门禁
通过证据
skills/coverage-closure-planner/SKILL.md
- Status is reviewed.
Benchmark 套件
格式与元数据样例
content/audit/evidence/coverage-closure-planner/bm-fmt.json
100%
FPGA 工作流场景样例
content/audit/evidence/coverage-closure-planner/bm-scenario.json
96%
安全边界样例
content/audit/evidence/coverage-closure-planner/bm-safety.json
100%
回归与复现样例
content/audit/evidence/coverage-closure-planner/bm-regression.json
80%
包盘点
- 包哈希
- sha256:2f26e863208b1115
- 文件数
- 7
- 可执行文件
- 0
- 复核结论
- 可发布
- 复核团队
- IC Hub 审核团队
- 复核时间
- 2026-06-11
已知限制与下一步
适用边界
审核结论只覆盖 Skill 包内容、安装计划和公开样例,不替代真实 FPGA 项目的上板测试、客户验收和安全审批。
账号授权接通后可开放受控下载。