什么是 Forenyx AI

Forenyx AI 是专注于数字芯片验证领域的 AI Agent 平台，辅助验证工程师完成验证计划制定、UVM 验证环境搭设、测试用例产生、仿真执行与故障调试排查。

---

🎯 核心功能体系

平台围绕芯片验证全生命周期，提供标准化、辅助化的技能（Skills）支持：

1. 需求与架构审计：解析规格书（Spec/PRD），静态审计架构缺陷、边界条件缺失与协议状态机逻辑；
2. 测试计划提取：自动提取功能树（Feature Tree），产生包含 CSR 读写、Scoreboard 比对与断言标注的结构化测试计划（uvm_testplan.md）；
3. UVM 环境构建：产生 UVM 脚手架，生成物理/虚拟接口连接、Driver/Monitor 采样逻辑、Configuration DB 与 Scoreboard 比对模型；
4. SVA 断言生成：解析 RTL 信号结构，产生非侵入式 SystemVerilog 断言模块并通过 bind 语法注入；
5. 用例生成与仿真：产生符合 UVM 规范的 Test Class 与 Virtual Sequence，自动化触发 EDA 工具（VCS/Verdi/ModelSim）编译与仿真试跑；
6. 故障调试与 RCA：自动解析仿真日志（sim.log）堆栈与 FSDB 波形切片，分析 UVM_ERROR 或断言触发的根因。

---

🏗 全流程工作拓扑

---

🧩 模块与技能协作

平台由 24 个专注于特定验证任务的 Skill 组成，通过高阶编排 Skill（-auto）或命令行独立调用，遵循统一的输入输出契约完成校验与协同。