更新日志

未发布 (Unreleased)

新功能 (Features)

• 新增 uvm-env-coverage-add Skill：读取 uvm-coverage-closure 裁决出的「覆盖模型补建清单」与 testplan 的覆盖率目标，向已有环境增量补建 covergroup。只改 {IP}_coverage.sv，以 COV=1 编译验证并修到通过（≤3 轮，修不好从备份还原），不动环境其余部分、不跑仿真。
• 新增 uvm-report-gen Skill：一轮验证收尾时，从覆盖率报告、回归状态、DUT 缺陷记录、testplan、RTL、SVA、仿真日志采集可核实事实，交叉核对口径冲突后渲染成带样式的 Word 验证报告，截图位置留成占位框。两条硬规则：口径冲突不静默解决（两个来源都写进「数据核对说明」）、已贴过截图的 docx 拒绝覆盖（需 --force）。

增强与优化 (Enhancements)

• uvm-coverage-closure 新增第二张人工裁决表「覆盖模型补建裁决」：原先只裁决疑似 Dead Code，回答「已有模型缺哪些 bin」；新表回答「该建的覆盖模型建了没有」。功能覆盖率 100% 也可能整块功能没有采样点，那样的百分比不能读作「功能验证完成度」。填「暂不补建」的类别会在下一轮报告中预填原裁决并再次列出，不会从视野中消失。
• 测试用例生成新增 NEED_DECISION 档（非终态）：原先只有 PASS / GEN_FAIL 两档，「压根没试」和「试了但需要人拿主意」混在一起。现在三者分开——ABORTED（未尝试）/ GEN_FAIL（尝试后失败，终态）/ NEED_DECISION（停下等人裁决，裁决后续跑会重试）。
• GEN_FAIL 与 NEED_DECISION 都会生成对应 TC 的报告：此前生成阶段失败不落报告，用户无法回溯到底发生了什么。
• 进度 JSON schema 调整：time_min ➔ duration，并新增每阶段 start_time。旧的 time_min 是「从流程起点到该阶段结束」的累计分钟——9 分钟的文档审核和 52 小时的仿真在文件里长得一样，得手工做差才知道各自多久。现在每个阶段直接记自己的耗时。uvm-progress-tracker 新增 --start-time 参数，由编排器传入真正的执行起点；缺省时回退为上一阶段的 finish_time（会把阶段间的空闲算进 duration）。
• 新增共享参考文档 references/coverage-modeling.md：uvm-env-impl 与 uvm-env-coverage-add 共用的覆盖模型编写规则（ignore_bins vs illegal_bins 的取舍、cross 的可达性判断等），两处保持同一份内容。

问题修复 (Bug Fixes)

• 修复覆盖率缺口漏报：parse_coverage.py 解析 urg 的 cross 未覆盖表时只认 COUNT == '--'，而 urg 对单组合行写的是 0，-- 只用于折叠的多值行——导致部分功能覆盖率缺口被静默漏掉。改为以 NUMBER 列判定未覆盖表、取表内全部行。
• 修复测试用例名重复前缀：报告中出现 tc_tc_test_xxx。

---

Forenyx AI v0.4.1 (2026-09-01)

新功能 (Features)

• 新增 ic-audit-soc-spec Skill：SoC 级 Spec 质量审查。按 IP 级 / 连接级 / 系统级三个验证角度逐项核查 SoC 规格说明书是否提供了验证所需的信息（而非通用文档挑刺），输出三份 Markdown 审查报告。支持芯片寄存器描述文件（.svd / IP-XACT .xml）作为第二来源；缺失时进入寄存器降级模式，并在报告开头如实声明代价。
• 新增 ic-audit-soc-prd-spec Skill：以 SoC PRD 为基准，逐条验证每条系统级需求是否在 SoC 集成 Spec 与芯片寄存器描述文件中得到落实。含参数防呆校验（.yaml / .md 传反）与层级校验（误传 IP 级 PRD 时提示改用 ic-audit-prd-spec）。
• ic-docx2md 新增 PDF 转换（pdf2md.py）：.pdf 设计文档可直接转 Markdown，与 .docx 走同一条下游链路。
• 文档转换支持 AI 辅助图片解析：转换时对提取出的图片调用视觉模型生成描述，并按尺寸过滤掉图标、分隔线等无信息量的小图。

增强与优化 (Enhancements)

• ic-docx2md 增强标题层级解析，改善长文档的章节结构还原。
• 离线授权补齐到期判定与续期提醒；补上离线安装包缺失的 Python 依赖。

---

Forenyx AI v0.4.0 (2026-08-12)

新功能 (Features)

• 支持无外网环境的离线安装部署：离线安装包内置 Python 依赖，激活时随 verify 下发 .lic 并由安装脚本落盘。
• 离线授权校验与运行时指纹：支持离线场景下的授权校验、席位审计。

---

Forenyx AI v0.3.9 (2026-08-05)

• CLI 不再显示底层框架相关信息。

---

Forenyx AI v0.3.8 (2026-08-05)

• 授权到期管理：CLI 启动时校验授权；会话内定时复查，到期提示精确到分钟并统一使用北京时间。
• 授权服务请求失败时改用指数退避重试。

---

Forenyx AI v0.3.7 (2026-07-28)

• uvm-testplan-gen-testplan 参数调整：新增 spec 目录为必填参数；Chisel 源码路径降级为可选。

---

Forenyx AI v0.3.6 (2026-07-27)

新功能 (Features)

• 新增 uvm-env-sva Skill：从 uvm_testplan.md 的「DUT 级 SVA 不变式清单」自动生成 SVA checker 模块、非侵入 bind 与 sva_index.md 索引，支持信号发现脚本（discover_signals.py）与 fail-closed 降级容错。

增强与优化 (Enhancements)

• uvm-testplan-gen-testplan：检查点新增 [SVA-off] 标签（负向/异常用例关断断言），与 [SVA-cover]（正向覆盖）区分；输出模板同步更新。
• uvm-testcase-gen-testcase：新增 2c 步「SVA 状态探测与四格决策矩阵」，vseq 强制 SVA 决策记录与 $assertoff / $asserton 成对平衡校验；步骤重编号 2a~2h 并全量同步交叉引用。
• uvm-env-sva 双向交叉校验：[SVA-cover] 与 [SVA-off] 引用的不变式 ID 须在清单中存在；清单 → 引用覆盖检查仅算 [SVA-cover]。

---

Forenyx AI v0.3.5 (2026-07-24)

• 修复 CLI 假死问题：/uvm-testcase-auto 执行后，后续输入全部积压没有处理响应问题。
• 修复用例误报“生成失败”的问题：register_tc.py 硬性要求 tbench.v 里有 include 标记。