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

本系统融合大语言模型（LLM）与专业 EDA 工具链，面向 FPGA 硬件设计验证场景提供 AI 辅助。系统可解析 FPGA 需求与 RTL 设计资源，辅助生成测试用例，调度 EDA 完成仿真校验，并整理功能、时序和需求偏差，输出标准化问题报告。

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

核心功能

• 需求智能解析：自动读取、拆解结构化/非结构化需求文档，挖掘显性、隐性测试点
• 测试用例辅助生成：结合 RTL 代码生成候选仿真用例，由工程师审核与迭代
• EDA 工具一体化调度：一键完成编译、仿真、波形/覆盖率数据采集
• 仿真数据智能分析：自动解析海量波形与覆盖率日志，定位设计偏差
• 缺陷自动分类：区分功能逻辑缺陷、时序违例、需求不匹配三大类
• 定制化报告输出：匹配企业模板整理缺陷报告和追溯信息，支持项目审查准备
• 闭环迭代验证：整改后复用历史用例回归，支持缺陷闭环管理

FPGA 自动化测试设备是一套定制化硬件与软件结合的验证系统，用于在目标 FPGA 器件上运行设计，并以仿真 testbench 作为测试向量，支持按项目定义的引脚级控制、观测与自动化功能测试。

系统集成示波器、万用表、信号源、数字 I/O、DAQ 等测量仪器，通过上位机软件统一调度，支持按 DO-254 / ED-80 开展硬件的实物验证；用于取得审定信用时，按 DO-254 第 11.4 节做工具评估。

核心能力

• 目标 FPGA 在定制板卡上全速运行
• 仿真 testbench 直接作为测试向量
• 按项目定义 FPGA 引脚控制与观测范围
• 自动化功能测试，覆盖率可量化
• 集成多种测量仪器，一机多用
• 测试数据自动记录，生成验证报告
• 支持 DO-254 适航审查所需的可追溯性

机载软硬件工程指导是诺顺整理的工程指导网站。选定专业和安全等级后，列出本级要开展的活动、每项活动的步骤、用到和产出的文档，以及每份文档要做到什么程度。

验证执行是重点：每一级要做哪些验证，每件事查什么、记什么、交什么，逐条标明出自标准的哪一节。

主要内容

• DO-178C 软件、DO-254 FPGA、电路板组件三条路线
• 选定 A、B、C、D 等级，只列本级要开展的活动
• 各等级工作内容对比表
• 专业版与小白版可切换：小白版讲清每件事是什么、怎么做、谁来做、交出什么
• 验证执行逐条对应标准条款
• 静态时序、跨时钟域、仿真、代码覆盖等工具的具体操作
• FAA、民航局公开文件的原文在线阅读

进入工程指导 →