期望值_镜像值与预测
返回知识网络总入口 · 寄存器与复用
核心结论
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。
关联知识
- monitor:总线观测是显式 predictor 的数据来源。
- reference_model与scoreboard:model 可提供硬件计数器的独立预测。
- analysis广播:predictor 订阅 analysis 更新寄存器模型。
- domain与phase跳转:复位后 DUT 与模型需重新同步。
- RAL模型结构:字段策略和 reset 定义影响模型值演进。
- 前门_adapter与总线链路:访问返回和预测需要分别配置检查。
- 寄存器内建测试与常用API:使用 API 前先区分模型值与硬件值。