2.3构建-seq中使用rand型变量

资料来源

 

(1) UVM实战-张强;

(2)  (8条消息) [SV] 内嵌约束中local::的用法_lbt_dvshare的博客-CSDN博客_sv中local

1.seq内rand型变量

(1)在sequence内可以使用随机变量,用以约束它产生的transaction;

(2)在sequence中定义rand类型变量时,需要注意变量的命名,不要和transaction中相应字段的名字一致;

 

 

(3)如果seq内rand类型变量与transaction中相应变量名字一样,在transaction随机约束时,可以使用local::;

注1:在使用内嵌约束randomize() with {constraint}时,约束体中的变量名的查找顺序默认是从被随机化对象开始查找,但如果调用randomize()函数局部域中也有同名变量,就需要使用local::来显式声明该变量来源于外部，而非被随机化的对象;

注2:local::只表示“域”，并不指代某个句柄，所以也可以用 local::this 表示调用randomize()函数的对象句柄。