IC CoderIC Hub
返回审核报告
已通过算法建模与仿真验证v3.0.0

形式验证属性起步助手

把接口协议和状态机规则转成可审查的形式验证属性草案和覆盖目标。适合FIFO、握手协议、仲裁器、状态机、寄存器协议和关键控制逻辑，重点解决“很多项目知道要加 assertion，但不知道从哪些协议不变量开始”这类真实 FPGA 项目问题。输出 SVA/PSL 属性草案、覆盖点建议和可执行的后续动作。

查看 Skill 详情
Benchmark
92
通过率
96.3%
检查项
7
风险等级
低
复核结论
可发布
自动检查
SKILL.md 格式与章节校验
通过
证据

skills/formal-property-starter/SKILL.md

  • 必需的 frontmatter 和章节已存在。
硬编码密钥扫描
通过
证据

skills/formal-property-starter

  • 未发现私钥、云密钥、token 或长通用密钥。
高风险行为扫描
通过
证据

skills/formal-property-starter

  • 未发现递归删除、云 metadata 访问、编码 shell 或未复核外传动作。
依赖声明检查
通过
证据

skills/formal-property-starter

  • 该 Skill 包未包含运行时依赖清单。
沙箱 dry-run 就绪性
通过
证据

skills/formal-property-starter

  • 该包以文档和参考资料为主，已标记为 dry-run 就绪。
Benchmark 证据完整性
通过
证据

skills/formal-property-starter/SKILL.md

  • 评分 92，等级 A-，通过率 96.3%。
人工复核门禁
通过
证据

skills/formal-property-starter/SKILL.md

  • Status is reviewed.
Benchmark 套件
格式与元数据样例

content/audit/evidence/formal-property-starter/bm-fmt.json

10/11
91%
FPGA 工作流场景样例

content/audit/evidence/formal-property-starter/bm-scenario.json

26/27
96%
安全边界样例

content/audit/evidence/formal-property-starter/bm-safety.json

10/11
91%
回归与复现样例

content/audit/evidence/formal-property-starter/bm-regression.json

5/5
100%
包盘点
包哈希
sha256:4619d4f1150ff6a1
文件数
7
可执行文件
0
复核结论
可发布
复核团队
IC Hub 审核团队
复核时间
2026-06-11

已知限制与下一步

适用边界

审核结论只覆盖 Skill 包内容、安装计划和公开样例，不替代真实 FPGA 项目的上板测试、客户验收和安全审批。

账号授权接通后可开放受控下载。