FPGA 仿真验证服务范围
围绕确认的项目输入、工作内容、交付物与验收条件组织实施；是否进入 PoC 或完整开发阶段由双方确认的任务书确定。
适用项目
- 已有目标产品或板卡，需要补齐“RTL 仿真”相关设计与实现
- 已有代码或 IP，需要围绕“SVA”完成集成、调试或重构
- 平台、器件或接口尚未冻结，需要先验证“覆盖率”等关键风险
主要工作内容
- 制定验证范围、层级和通过条件：先将“制定验证范围、层级和通过条件”写入需求与接口基线，明确“RTL 仿真”涉及的对象、参数、依赖和通过条件。
- 选择直接激励、约束随机、断言或形式方法：围绕“选择直接激励、约束随机、断言或形式方法”形成专项设计，记录“SVA”相关架构、配置、约束和版本。
- 搭建模块/ 子系统/ 混合语言仿真环境：针对“搭建模块/ 子系统/ 混合语言仿真环境”完成工程集成，保留“覆盖率”相关构建、日志、问题定位和变更记录。
- 组织自动回归、覆盖分析和缺陷闭环：以“组织自动回归、覆盖分析和缺陷闭环”为验证重点，在约定环境中执行“自动回归”相关测试并提交可复核结果。
项目输入
- 规格、验证计划、DUT 边界、接口协议和风险清单
- RTL/ 网表、语言、仿真器、VIP、模型和许可证
- 参考模型、测试向量、覆盖目标和失败判定方式
- 回归资源、执行时长、版本管理和报告要求
交付物
- 验证计划、环境架构和用例追踪矩阵：“验证计划、环境架构和用例追踪矩阵”用于复现约定实现，提交时绑定目标器件、工具、依赖和源码版本。
- Testbench/UVM/ 断言/VIP 集成的约定部分：“Testbench/UVM/ 断言/VIP 集成的约定部分”说明接口、参数、配置与限制，作为系统联调和后续维护依据。
- 回归脚本、覆盖报告、日志和波形索引：“回归脚本、覆盖报告、日志和波形索引”按任务书列明文件范围、第三方授权边界、构建方法和制品校验值。
- 缺陷清单、关闭证据、未覆盖项和剩余风险：“缺陷清单、关闭证据、未覆盖项和剩余风险”绑定测试对象、环境、用例、结果与剩余限制，作为阶段或最终验收证据。
验收方法
- 需求、风险和测试用例之间可追踪
- 环境可在指定工具和版本下重复运行
- 覆盖目标注明类型、排除项和审查依据
- 未覆盖模型、门级条件或真实硬件范围清楚标注
能力与结果边界
验证深度、仿真模型和覆盖范围必须在计划中定义。 未经目标项目验证的厂商参数、理论峰值、路线图或示例工程不作为项目实测结果；最终结论以冻结版本和书面测试证据为准。
FPGA 仿真验证常见问题
仿真验证与功能仿真如何区分？
功能仿真侧重 RTL 功能用例；仿真验证还包括验证计划、层级划分、覆盖、回归、缺陷闭环和环境维护。
是否所有项目都需要 UVM？
不需要。应根据 DUT 规模、接口复杂度、复用计划和风险选择直接 Testbench、UVM、断言或形式验证。
门级仿真什么时候需要？
适用于复位初始化、特定时序模型、网表行为或流程要求；是否执行应结合静态时序和项目风险决定。
FPGA 仿真验证的交付范围如何确定？
以项目任务书为准。计划交付的验证计划、环境架构和用例追踪矩阵、Testbench/UVM/ 断言/VIP 集成的约定部分等内容需逐项列明；第三方 IP、加密网表、厂商库、协议资料和许可证文件受原授权限制。
FPGA 仿真验证周期和报价如何评估？
工作量取决于输入完整度、接口和模块数量、器件与工具成熟度、第三方 IP、板卡状态、软件配套、测试设备及验收深度。完成输入审查后再形成阶段计划与报价。