reference_model与scoreboard

返回知识网络总入口 · 平台与对象

核心结论

model 根据规格预测,scoreboard 匹配并比较期望与实际。分离预测和匹配,更利于处理延迟、复用和错误定位。

关键机制

  • 模型通常依据输入 monitor 的有效观测生成期望。
  • 有序链路可顺序比较,乱序链路需 ID/键与未决表。
  • 两条 FIFO 缓存 expected/actual,由 task 等待比较。
  • 结束还要检查缺失结果、残留队列与未完成请求。

小例子或流程

input monitor → model → expected FIFO ┐
                                      ├→ 匹配 → 比较
output monitor → actual FIFO ──────────┘

第n项对第n项只适用于协议保证对应顺序的场景。

易错点

  • 缺少 actual 导致没有 compare 错误,不代表通过。
  • 复位要清模型、队列与旧事务归属。
  • write 不能等待另一侧数据,要入队后由 task 处理。

关联知识

原文出处与已有面试题