从验证服务到AI+自动化验证工具

本系统融合大语言模型（LLM）与专业 EDA 工具链，面向 FPGA 硬件设计验证场景实现全流程自动化缺陷识别。系统可解析 FPGA 需求与 RTL 设计资源，自动生成适配性测试用例，调度 EDA 完成仿真校验，自动识别功能、时序类缺陷并输出标准化问题报告。

解决传统 FPGA 验证依赖人工编写用例、缺陷梳理效率低、报告不统一的痛点。

核心功能

• 需求智能解析：自动读取、拆解结构化/非结构化需求文档，挖掘显性、隐性测试点
• 全自动测试用例生成：结合 RTL 代码自动生成高覆盖仿真用例
• EDA 工具一体化调度：一键完成编译、仿真、波形/覆盖率数据采集
• 仿真数据智能分析：自动解析海量波形与覆盖率日志，定位设计偏差
• 缺陷自动分类：区分功能逻辑缺陷、时序违例、需求不匹配三大类
• 定制化报告自动输出：匹配企业模板生成标准化缺陷报告，可直接用于 DO-254 审查
• 闭环迭代验证：整改后自动复用历史用例复测，持续迭代直至消除全部缺陷