竞赛队的验证往往停在「demo 能跑」。评委随手给一个复位或把输入切到满速，系统就死。补的不是更多打印语句，而是一张场景清单：每个场景有激励、期望、实际结果、波形或日志路径。清单比覆盖率百分比更适合竞赛周期，因为它可在答辩时直接打开。
最低清单（可复制）
| 场景 | 期望 | 记录 |
|---|---|---|
| 上电与复位 | 确定态，无随机花屏 | 复位波形 |
| 最小激励 | 功能正确 | 对比金标准 |
| 满速/满分辨率 | 不丢包或有统计 | FIFO 水位 |
| 错误输入 | 可恢复或明确报错 | 状态机回到空闲 |
| 长稳 30 分钟 | 无锁死 | 心跳或帧计数 |
仿真和板上怎么分工
周期级问题放仿真：握手、溢出、跨时钟。模拟接口和真实 ADC 非线性放板上。不要用板上偶然一次成功替代仿真里的随机种子。随机测试即使只跑两千包，也比五次手点按钮更能发现握手漏洞。
- 每个 bug 关闭时在清单里留「回归场景编号」。
- 提交前让未写该模块的队员执行清单，当作外部测试。
- 视频里至少出现一次异常恢复，评委才信你测过失败。
验证岗位的周报只准贴清单进度，不准贴「基本完成」。基本完成不是状态。
随机测试的最小可行做法
不必上完整 UVM。用脚本产生合法与非法包，记录种子。非法包至少覆盖：超长、超短、校验错、突发空闲、复位插入。每个种子对应清单一行。发现 bug 时把种子留下，修复后必须重放。没有种子的「偶发」在竞赛里等于未修复。
板上长稳用帧计数或心跳寄存器，不要用「我们盯了十分钟觉得没事」。30 分钟计数与理论值的差要写进说明书，差为 0 也要写，这是证据。
问答（按队内真实卡点写）
问：仿真过、板上不过？
答：优先查约束、时钟、复位和 IO 标准，而不是先改算法。
问：没有金标准？
答：先做可逆通路或已知向量。没有金标准就不要报准确率类指标。
评论 0