期望值_镜像值与预测

返回知识网络总入口 · 寄存器与复用

核心结论

desired 是希望写入值,mirrored 是模型认为硬件应有值,actual 在 DUT。get 不读硬件,predict 不写硬件,一致性依赖访问与预测。

关键机制

  • 普通 RW:set 改 desired,get 查 desired,get_mirrored_value 查镜像,update 必要时写入。
  • 访问对模型值的影响依赖结果、字段策略和预测,不能把简单 RW 例子推广到所有字段。
  • auto predict 基于 RAL 自发访问;显式 predictor 从 monitor 的观测经 bus2reg 更新模型,可跟踪其他 master 总线访问。
  • 用外部 predictor 时关闭同一 map 的 auto predict,避免重复预测。
  • mirror(UVM_CHECK) 比较读回与原预测,NO_CHECK 侧重同步;volatile/读副作用需专门检查策略。

小例子或流程

普通RW全0:set(1) → desired=1,mirrored=0,actual=0
写成功且预测完成:update() → 三者均1
其他master写2:monitor → predictor → 模型更新

只改模型或只写 DUT 均不保证三者一致。

易错点

  • 先覆盖镜像再宣称比较通过,会丢失独立检查意义。
  • 模型 reset 不驱动 DUT,漏预测可产生假 mismatch。
  • 总线 predictor 不能推断所有内部变化,计数器可由 model 独立 predict。

关联知识

原文出处与已有面试题