CLI 命令参考
Forenyx AI 命令行工具与内建 Skill 命令说明。
命令行基础参数
bash
forenyx [options] [command]常用选项
--version(-v)：显示当前 Forenyx AI 版本号--help(-h)：显示命令行帮助菜单--session <id>：复用指定的会话 ID
内建 Agent 斜杠命令 (Slash Commands)
在 forenyx 交互模式下，支持以下快捷指令：
1. /uvm-env-sva
根据 uvm_testplan.md 的 DUT 级 SVA 不变式清单解析 RTL 并自动生成 SVA Checker 与 Bind 文件。
2. /uvm-testcase-gen-testcase
根据测试点说明，自动生成指定 UVM TC 类与 Virtual Sequence，并成对平衡插入 $assertoff / $asserton。
3. /uvm-testcase-auto
开启端到端全自动运行流水线（自动连接 testplan -> sva -> testcase -> VCS 编译与仿真）。
4. /uvm-coverage-closure
分析 VCS 覆盖率报告，输出缺口分析报告与两张人工裁决表（疑似 Dead Code、覆盖模型补建），并向 testplan.md 追加 [coverage-driven] 条目。
5. /uvm-env-coverage-add
按上一步裁决出的补建清单，向已有环境增量补建 covergroup（只改 {IP}_coverage.sv，以 COV=1 编译验证）。
6. /uvm-report-gen
采集覆盖率、回归、缺陷记录等事实，交叉核对后生成正式的 Word 验证报告。
7. /ic-audit-soc-spec
SoC 级 Spec 质量审查，按 IP 级 / 连接级 / 系统级输出三份审查报告。
完整的 28 个 Skill 清单与输入输出契约见 Skill 总览 与 Skill 依赖关系。