Skip to content

v0.3.6

Latest
Latest

Choose a tag to compare

View all tags
@HwJhx HwJhx released this 27 Jul 02:41
v0.3.6
508ddc4

Forenyx AI 0.3.6

  • [新功能] 新增 uvm-env-sva Skill：从 testplan 的「DUT 级 SVA 不变式清单」自动生成 SVA checker 模块、非侵入 bind 与 sva_index.md 索引，支持信号发现脚本（discover_signals.py）与 fail-closed 降级
  • [增强] 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]
  • [增强] uvm-env-impl：补充 SVA 阶段衔接说明

Full Changelog: v0.3.5...v0.3.6

Assets 3
Loading