跳转至

输入查询内容

    本页内容

    按症状排查

    选择遇到的现象,先确认观察量,再展开检查原因和改法。相同症状可能有多种原因,需结合实际配置判断。

    编译阶段报错可直接查询 API 与报错,或查阅编译断点

    激励与执行

    仿真提前结束,run 中的任务未完成先观察:记录 run 中的完成标志和实际事务数,确认是否未执行完就进入 report。

    核对原因

    检查 raise/drop 是否操作实际 phase,特别是旧 uvm_test_done_objection 单例。

    处理与复验

    改用 phase objection 后,验证激励完成与检查器排空;日志中出现结束总结不足以判定通过。

    相关改法

    激励不发出,默认 sequence 未启动先观察:统计 sequence 的启动与完成次数,并观察 driver 收到的事务。

    核对原因

    区分旧字符串式 default_sequence 与已有的 phase wrapper/instance 配置。

    处理与复验

    旧字符串式迁移到 phase default sequence;已有 phase 配置应继续核对路径、类型与 objection。

    相关改法

    第二笔 push 请求失败或事务丢失先观察:至少发出两笔请求,核对发送数、sink 接收数和 FIFO 消费。

    核对原因

    结合 SQRSNDREQGNI 的上下文确认是否为目标 push sequencer 路径。

    处理与复验

    优先评估常规 pull 流程;局部 push 替代须验证响应、kill 和背压,不能只屏蔽 fatal。

    相关改法

    数据检查与事务

    比较漏检:数据或类型不同但 compare 返回相等先观察:主动构造一个字段或业务类型不匹配,检查 compare 返回值;不要只数日志。

    核对原因

    普通对象检查 field FLAG 是否启用了比较;类型名不同但继承同一 wrapper 时,check_type=1 也可能漏检。GP 另查 extension 键集合及逐项比较。

    处理与复验

    按字段操作意图和业务类型契约补足比较,再重复注入不匹配;顶层类型名限制不代替嵌套对象检查,同时核对 copy、pack、record 的原始意图。

    相关改法

    FIFO 清场后仍有旧事务先观察:在无并发 producer/consumer 的清场边界,填入至少两项后检查 used。

    核对原因

    核对 flush 后剩余项和 get_ap 广播是否符合下游约定。

    处理与复验

    使用公开 try_get 排空的替代时,仍需先停止参与方并断言 used 为零。

    相关改法

    打包长度变化,跨版本解包失败先观察:与保存的 1.2 golden 逐位比较,记录首个不同位置及总位数。

    核对原因

    检查对象元数据、空对象、嵌套对象和 GP 的 DMI 位。

    处理与复验

    compat packer 只能覆盖部分路径;按实际跨边界契约采用显式格式或同步升级两端。

    相关改法

    寄存器访问

    镜像不更新,或与硬件值不一致先观察:先检查实际访问 status、每拍响应与硬件值,再判断镜像是否应该更新。

    核对原因

    失败访问保持原镜像可能是目标库的正确行为,不应无条件补 predict。

    处理与复验

    多拍访问还要检查后续拍失败;数据或 byte strobe 异常则转查端序与字段访问粒度。

    相关改法

    后门访问告警:not contained within map 'Backdoor'先观察:定位实际 reg/field 调用,记录 status、硬件值和镜像;该消息的源码级别是 UVM_WARNING。

    核对原因

    field 后门接口仍受支持,内部伪 map 与目标权限查询不一致会触发告警;仅改 field 的 map 参数无效。

    处理与复验

    按访问语义保留 read/write,直接取值或赋值可选 peek/poke;reg 显式伪 map 改 null,未映射寄存器另查模型。

    相关改法

    Backdoor 编解码没有生效先观察:记录逻辑写入值、实际硬件值与逻辑读回值,确认 codec 是否真的改变了访问。

    核对原因

    检查是否使用 encode/decode 回调,并区分单 codec 与多 codec 链。

    处理与复验

    codec 可参考已验证替代;多 codec 先明确编码顺序、逆序解码与写回契约。

    相关改法

    报告与调试

    报告仍出现,但没有 UVM_STACKTRACE 调用栈先观察:核对是否使用目标构建,区分消息本身与附加调用栈。

    核对原因

    用固定 severity 的最小报告在两库比较;当前该条仅完成源码核对。

    处理与复验

    保留可复现问题的旧调试构建,按支持材料清单确认目标调用栈流程;不假设已有通用替代开关。

    相关改法

    版本适用范围