reg model使用篇-register seq(包含uvm内建register sequences)

资料来源:

(1) 《uvm cookbook》

1. register seq

1.1 register check seq

(1) reset test:根据get_reset方法获取reset值,并调用register.read方法获取read value,比较reset值和read value;

(2) write/read test: 随机write data,并调用register.write进行register写操作; 然后打乱register句柄队列,使用get方法获取register的镜像值,接着调用register.read,对比读操作返回值与镜像值;

(3) peek/poke test:与write/read test类似,不过使用的是backdoor access;

1.2 register seq using mirror

(1) mirror操作会引起读访问,会对register model中的镜像值进行更新,但不会返回read data;

(2) mirror操作可以用于register model与硬件状态的再同步;

(3) mirror操作可以和predict操作一起执行,用于检测register的读返回值与期望值是否匹配;只需在调用mirror操作时,将check field设置为UVM_CHECK; 如果check_field是默认值,mirror操作仅仅发起bus read cycle,并且导致external predictor更新mirror值,而不会进行检测;