验证与板上调试：先证明协议，再看探针

数字设计验证要分层：单元仿真检查局部功能，随机与覆盖探索组合，断言监督协议，形式验证穷举受限状态，板上逻辑分析仪观察真实接口。任何单一方法都不覆盖全部风险。

自检查测试平台

输入驱动、参考模型与记分板自动判断，不靠人工看波形。随机测试保存种子；失败用最小序列复现，再加入定向回归。

功能覆盖

代码覆盖只说明语句执行，不说明需求场景验证。功能覆盖定义边界、交叉和协议事件；100%覆盖也不能证明规格无遗漏。

X传播

仿真X能暴露未复位、冲突和越界，也可能被if语义乐观掩盖。使用断言和X传播模式，不能简单把X强制为0让波形干净。

板上逻辑分析

内部探针消耗资源并改变布局时序。提前设计触发条件和缓冲深度，捕获故障前后上下文；探针版仍需重新时序签核。

相关外部测量

逻辑正确但电气波形可能违反电平、边沿或供电。示波器与逻辑分析结果按同一触发关联，区分协议错误与信号完整性。

验证环境本身也要校验：给参考模型故意注入错误，确认记分板和断言真的能报错；否则“全通过”可能只是监视器未连接。覆盖收敛后仍保留需求到测试的追踪矩阵，避免测了许多随机状态却漏掉关键业务规则。

任务：为跨域FIFO建立验证计划，包含参考模型、随机相位、断言、覆盖和板上触发。