UVM实战卷I学习笔记5——UVM基础（3）field automation机制

最新推荐文章于 2024-03-21 15:30:00 发布

菜鸡想要飞

最新推荐文章于 2024-03-21 15:30:00 发布

阅读量2.7k

点赞数 3

分类专栏： UVM实战卷I 学习笔记文章标签：开发语言测试用例

本文链接：https://blog.csdn.net/weixin_41979380/article/details/120674439

版权

UVM实战卷I 学习笔记专栏收录该内容

44 篇文章 136 订阅

订阅专栏

field automation机制相关的宏

最简单的uvm_field系列宏有如下几种：

`define uvm_field_int(ARG,FLAG)
`define uvm_field_real(ARG,FLAG)
`define uvm_field_enum(T,ARG,FLAG)
`define uvm_field_object(ARG,FLAG)
`define uvm_field_event(ARG,FLAG)
`define uvm_field_string(ARG,FLAG)

上述几个宏分别用于要注册的字段是整数、实数、枚举类型、直接或间接派生自uvm_object的类型、事件及字符串类型。除枚举类型外都是两个参数，对枚举类型来说需要有三个参数。假如有枚举类型tb_bool_e，同时有变量tb_flag，那么在使用field automation机制时应该使用如下方式实现：

	typedef enum {TB_TRUE, TB_FALSE} tb_bool_e;
	…
	tb_bool_e tb_flag;
	…
	`uvm_field_enum(tb_bool_e, tb_flag, UVM_ALL_ON)

与动态数组有关的uvm_field系列宏有：（少了event类型和real类型，enum类型的数组里也只有两个参数。）

`define uvm_field_array_enum(ARG,FLAG)
`define uvm_field_array_int(ARG,FLAG)
`define uvm_field_array_object(ARG,FLAG)
`define uvm_field_array_string(ARG,FLAG)

与静态数组相关的uvm_field系列宏有：（4种，且对于enum类型来说只需要两个参数）

`define uvm_field_sarray_int(ARG,FLAG)
`define uvm_field_sarray_enum(ARG,FLAG)
`define uvm_field_sarray_object(ARG,FLAG)
`define uvm_field_sarray_string(ARG,FLAG)

与队列相关的uvm_field系列宏有：（4种，且对于enum类型来说只需要两个参数）

`define uvm_field_queue_enum(ARG,FLAG)
`define uvm_field_queue_int(ARG,FLAG)
`define uvm_field_queue_object(ARG,FLAG)
`define uvm_field_queue_string(ARG,FLAG)

联合数组是SV中定义的一种非常有用的数据类型，在验证平台中经常使用。UVM对其提供了良好的支持，与联合数组相关的uvm_field宏有：

`define uvm_field_aa_int_string(ARG, FLAG)
`define uvm_field_aa_string_string(ARG, FLAG)
`define uvm_field_aa_object_string(ARG, FLAG)
`define uvm_field_aa_int_int(ARG, FLAG)
`define uvm_field_aa_int_int_unsigned(ARG, FLAG)
`define uvm_field_aa_int_integer(ARG, FLAG)
`define uvm_field_aa_int_integer_unsigned(ARG, FLAG)
`define uvm_field_aa_int_byte(ARG, FLAG)
`define uvm_field_aa_int_byte_unsigned(ARG, FLAG)
`define uvm_field_aa_int_shortint(ARG, FLAG)
`define uvm_field_aa_int_shortint_unsigned(ARG, FLAG)
`define uvm_field_aa_int_longint(ARG, FLAG)
`define uvm_field_aa_int_longint_unsigned(ARG, FLAG)
`define uvm_field_aa_string_int(ARG, FLAG)
`define uvm_field_aa_object_int(ARG, FLAG)

联合数组有两大识别标志：存储数据的类型和索引的类型。在这一系列uvm_field系列宏中出现的第一个类型是存储数据类型，第二个类型是索引类型，如uvm_field_aa_int_string用于声明那些存储的数据是int，而其索引是string类型的联合数组。

*field automation机制的常用函数

copy函数用于实例的复制，其原型为：extern function void copy (uvm_object rhs);
如果要把A实例复制到B实例中，那么应该使用B.copy(A)。在使用此函数前，B实例必须已经使用new函数分配好了内存空间。

compare函数用于比较两个实例是否一样，其原型为：extern function bit compare (uvm_object rhs, uvm_comparer comparer=null);
如果要比较A与B是否一样，可使用A.compare(B)，也可使用B.compare(A)。当两者一致时返回1；否则为0。

pack_bytes函数用于将所有字段打包成byte流，其原型为：extern function int pack_bytes (ref byte unsigned bytestream[ ], input uvm_packer packer=null);
unpack_bytes函数用于将一个byte流逐一恢复到某个类的实例中，其原型为：extern function int unpack_bytes (ref byte unsigned bytestream[ ], input uvm_packer packer=null);

pack函数用于将所有字段打包成bit流，其原型为：extern function int pack (ref bit bitstream[ ], input uvm_packer packer=null);
unpack函数用于将一个bit流逐一恢复到某个类的实例中，其原型为：extern function int unpack (ref bit bitstream[ ], input uvm_packer packer=null);

pack_ints函数用于将所有字段打包成int（4个byte或dword）流，其原型为：extern function int pack_ints (ref int unsigned intstream[ ], input uvm_packer packer=null);
unpack_ints函数用于将一个int流逐一恢复到某个类的实例中，其原型为：extern function int unpack_ints (ref int unsigned intstream[ ], input uvm_packer packer=null);

print函数用于打印所有字段，还有前面介绍过的clone函数，其原型为：extern virtual function uvm_object clone ();

除了上述函数之外，field automation机制还提供自动得到使用config_db::set设置的参数的功能。

field automation机制中标志位的使用

实现功能：给DUT施加一种CRC错误的异常激励。实现这个功能的一种方法是在my_transaction中添加一个
crc_err的标志位：在post_randomize中计算CRC前先检查一下crc_err字段，如果为1则直接使用随机值，否则使用真实的CRC。

class my_transaction extends uvm_sequence_item;
	rand bit[47:0] dmac;
	rand bit[47:0] smac;
	rand bit[15:0] ether_type;
	rand byte pload[];
	rand bit[31:0] crc;
	rand bit crc_err;
	...
	function void post_randomize();
		if(crc_err)
			; //do nothing
		else
			crc = calc_crc;
	endfunction
	...
endclass

在sequence中可使用如下方式产生CRC错误的激励：`uvm_do_with(tr, {tr.crc_err == 1;})
对于多出来的这个字段，是不是也应该用uvm_field_int宏来注册呢？如果不使用宏注册的话，那么当调用print函数时显示结果中就看不到其值，但如果使用了宏，结果就是这个根本就不需要在pack和unpack操作中出现的字段出现了。这会带来极大的问题。

UVM考虑到了这一点，它采用在后面的控制域中加入UVM_NOPACK的形式来实现：

`uvm_object_utils_begin(my_transaction)
	`uvm_field_int(dmac, UVM_ALL_ON)
	`uvm_field_int(smac, UVM_ALL_ON)
	`uvm_field_int(ether_type, UVM_ALL_ON)
	`uvm_field_array_int(pload, UVM_ALL_ON)
	`uvm_field_int(crc, UVM_ALL_ON)
	`uvm_field_int(crc_err, UVM_ALL_ON | UVM_NOPACK)
`uvm_object_utils_end

使用上述语句后，当执行pack和unpack操作时，UVM就不会考虑这个字段了。这种写法是用或（|）来实现的。UVM的这些标志位本身其实是一个17bit的数字：

//A=ABSTRACT Y=PHYSICAL
//F=REFERENCE, S=SHALLOW, D=DEEP
//K=PACK, R=RECORD, P=PRINT, M=COMPARE, C=COPY
//---------------------- AYFSD K R P M C
parameter UVM_ALL_ON = 'b000000101010101;
parameter UVM_COPY = (1<<0);
parameter UVM_NOCOPY = (1<<1);
parameter UVM_COMPARE = (1<<2);
parameter UVM_NOCOMPARE = (1<<3);
parameter UVM_PRINT = (1<<4);
parameter UVM_NOPRINT = (1<<5);
parameter UVM_RECORD = (1<<6);
parameter UVM_NORECORD = (1<<7);
parameter UVM_PACK = (1<<8);
parameter UVM_NOPACK = (1<<9);

UVM_ALL_ON的值是’b000000101010101，表示打开copy、compare、print、record、pack功能。

UVM_ALL_ON|UVM_NOPACK的结果就是‘b000001101010101。这样UVM在执行pack操作时，首先检查bit9，发现其为1，直接忽略bit8所代表的UVM_PACK。

*field automation中宏与if的结合

在以太网中有一种帧是VLAN帧，是在普通以太网帧基础上扩展而来的，且并不是所有的以太网帧都是VLAN帧，如果一个帧是VLAN帧，那么其中就会有vlan_id等字段，类似vlan_id等字段是属于帧结构的一部分，但这个字段可能有，也可能没有。由于读者已经习惯了使用uvm_field系列宏来进行pack和unpack操作，那么很直观的想法是使用动态数组的形式来实现：

class my_transaction extends uvm_sequence_item;
	rand bit[47:0] smac;
	rand bit[47:0] dmac;
	rand bit[31:0] vlan[];
	rand bit[15:0] eth_type;
	rand byte pload[];
	rand bit[31:0] crc;
	`uvm_object_utils_begin(my_transaction)
		`uvm_field_int(smac, UVM_ALL_ON)
		`uvm_field_int(dmac, UVM_ALL_ON)
		`uvm_field_array_int(vlan, UVM_ALL_ON)
		`uvm_field_int(eth_type, UVM_ALL_ON)
		`uvm_field_array_int(pload, UVM_ALL_ON)
	`uvm_object_utils_end
endclass

在随机化普通以太网帧时，可使用如下方式：

my_transaction tr;
tr = new();
assert(tr.randomize() with {vlan.size() == 0;});

协议中规定vlan的字段固定为4个字节，所以在随机化VLAN帧时，可使用如下方式：

my_transaction tr;
tr = new();
assert(tr.randomize() with {vlan.size() == 1;});

协议中规定vlan的4个字节各有不同的含义，分别代表4个不同的字段。如果使用上面的方式，问题虽然解决了，但这4个字段的含义不太明确。

一个可行的解决方案是：

class my_transaction extends uvm_sequence_item;
	rand bit[47:0] dmac;
	rand bit[47:0] smac;
	rand bit[15:0] vlan_info1;
	rand bit[2:0] vlan_info2;
	rand bit vlan_info3;
	rand bit[11:0] vlan_info4;
	rand bit[15:0] ether_type;
	rand byte pload[];
	rand bit[31:0] crc;
	rand bit is_vlan;
	…
	`uvm_object_utils_begin(my_transaction)
		`uvm_field_int(dmac, UVM_ALL_ON)
		`uvm_field_int(smac, UVM_ALL_ON)
		if(is_vlan)begin
			`uvm_field_int(vlan_info1, UVM_ALL_ON)
			`uvm_field_int(vlan_info2, UVM_ALL_ON)
			`uvm_field_int(vlan_info3, UVM_ALL_ON)
			`uvm_field_int(vlan_info4, UVM_ALL_ON)
		end
		`uvm_field_int(ether_type, UVM_ALL_ON)
		`uvm_field_array_int(pload, UVM_ALL_ON)
		`uvm_field_int(crc, UVM_ALL_ON | UVM_NOPACK)
		`uvm_field_int(is_vlan, UVM_ALL_ON | UVM_NOPACK)
	`uvm_object_utils_end
	…
endclass

使用这种方式的VLAN帧，在执行print操作时，4个字段的信息将会非常明显；在调用compare函数时，如果两个transaction不同，将会更加明确地指明是哪个字段不一样。

菜鸡想要飞

关注

3
点赞
踩
25

收藏

觉得还不错? 一键收藏
1
评论
UVM实战卷I学习笔记5——UVM基础（3）field automation机制

field automation机制相关的宏最简单的uvm_field系列宏有如下几种：`define uvm_field_int(ARG,FLAG)`define uvm_field_real(ARG,FLAG)`define uvm_field_enum(T,ARG,FLAG)`define uvm_field_object(ARG,FLAG)`define uvm_field_event(ARG,FLAG)`define uvm_field_string(ARG,FLAG)上述几个宏
复制链接

扫一扫