嵌套的sequence中容易被忽略的bug

在sv以及UVM的学习开发中，遇到了一个很容易忽略的bug，并且此bug让自己卡在了do while循环中，于是记录。

嵌套的sequence

关于嵌套的sequence参见张强的《UVM实战》一书6.4章节。

在6.4.2章节中特意提到了在sequence中使用rand变量时需要注意变量的命名。其实不论是rand变量，还是其他的变量命名，都要注意此bug，即尽量不要用同一个名称。

例如，我有一个sequence1，其body中声明了transaction为tr，如下

class sequence1 extends uvm_sequence#(transaction)
...
	virtual task body()
		sequence2	seq2;
		transaction tr;
		`uvm_do(seq2)

		`uvm_do_with(tr, tr.randomize())
		...
	endtask
...
endclass

另一个sequence2如下：

class sequence2 extends uvm_sequence#(transaction)
...
	virtual task body()
		transaction tr;
		`uvm_do_with(tr, tr.xxx == 1)
		...
		do begin
		xxx
		end while( ~ tr.xxx)
	endtask
...
endclass

当seq2在sequence1中执行时，seq2中的tr，实际上是seq1中的tr，并非seq2中的tr，所以当我的sequence2中的do while循环执行时，永远等不到tr中对应的位的拉高，导致seq2一直卡在了循环中。

那么这又是为什么呢？在张强书中的185页已经说得很明白：当执行seq2的时候，编译器首先会去寻找外层的tr，如果找到了，就不会再寻找了。

推荐的方法是，将seq2中的tr换个不同于seq1中的tr的名字，比如seq2_tr。