按规格补充芯片验证用例

这个场景能帮你做什么

芯片验证需要把规格中的条件、时序和边界转成可执行用例。WorkBuddy 可以结合已有验证环境起草增量用例与配置，帮助验证工程师补覆盖；仿真执行仍依赖实际 EDA 环境。

开始前需要准备什么

提供有效规格、接口协议、已有测试、激励序列及验证平台说明，列允许修改范围。参考模型、记分板和已确认判定逻辑应明确为保护对象，除非本次另有批准。

具体怎么做

第一步：逐条提取验证条件

从规格整理输入、状态、握手、时序、复位和错误条件，关联已有用例。无法确定的协议含义先提问，不自动选择常见约定。

第二步：设计增量激励

围绕未覆盖行为起草测试与序列，说明前置、输入、期望和随机化约束。只改批准的用例、序列或平台配置，不为让测试通过修改参考结果。

第三步：准备执行与检查

列所需仿真器、命令、种子和配置。获得执行条件后由验证人员运行，保存实际日志；环境不可用时明确未仿真。

第四步：核对覆盖与失败

将用例回到规格检查，失败时区分激励、被测设计、对齐和参考模型疑点。先形成定位任务，不擅自改变判定标准。

可以直接交给 WorkBuddy 的完整要求

依据附件规格与现有环境补芯片验证用例，逐项关联未覆盖条件。
起草测试、序列及允许配置，说明激励、前置、预期、种子和运行要求。不得改参考模型/记分板等保护逻辑以消除失败。
协议不清或环境缺失列问题。输出代码草稿、规格对应和验证计划；仅报告真实运行结果，不宣称未执行的仿真通过。

完成后会得到什么

一组范围清楚的增量用例草稿、规格对应表及执行条件，供验证工程师审核。

结果应该怎么检查

核对握手、时钟、复位和边界约束，检查用例预期是否独立于实现。确认没有为了通过而改参考逻辑，也没有把代码覆盖当成功能覆盖。

遇到这些情况怎么处理

仿真失败先留日志和种子。规格含糊时退回确认。涉及无法读取的波形格式时由 EDA 工具导出信号或由工程师查看，不声称原生识别。

哪些必须人工决定

验证人员确认用例、参考模型语义和仿真结果，设计人员确认缺陷。AI 起草增量内容，不代替流片或验证放行。