酷客网文章目录
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系列宏有：
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)
这里只有4种，相比于前面的uvm_field系列宏少了event类型和real类型。另外一个重要的变化是enum类型的数组里也只有两个参数。
与静态数组相关的uvm_field系列宏有：
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系列宏有：
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)
同样的，这里也是4种，且对于enum类型来说，也只需要两个参数。
联合数组是SystemVerilog中定义的一种非常有用的数据类型，在验证平台中经常使用。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)
这里一共出现了15种。联合数组有两大识别标志，一是索引的类型，二是存储数据的类型。在这一系列uvm_field系列宏中，出现的第一个类型是存储数据类型，第二个类型是索引类型，如uvm_field_aa_int_string用于声明那些存储的数据是int，而其索引是string类型的联合数组。
field automation机制的常用函数
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);
pack函数的使用与pack_bytes类似。
unpack函数用于将一个bit流逐一恢复到某个类的实例中，其原型为：
extern function int unpack (ref bit bitstream[],
input uvm_packer packer=null);
unpack的使用与unpack_bytes类似。
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的标志位：
文件：src/ch3/section3.3/3.3.3/my_transaction.sv
4 class my_transaction extends uvm_sequence_item;
5 6 rand bit[47:0] dmac;
7 rand bit[47:0] smac;
8 rand bit[15:0] ether_type;
9 rand byte pload[];
10 rand bit[31:0] crc;
11 rand bit crc_err;
…
22 function void post_randomize();
23 if(crc_err)
24 ;//do nothing
25 else
26 crc = calc_crc;
27 endfunction
…
42 endclass
这样，在post_randomize中计算CRC前先检查一下crc_err字段，如果为1，那么直接使用随机值，否则使用真实的CRC。
在sequence中可以使用如下方式产生CRC错误的激励：
uvm_do_with(tr, {tr.crc_err == 1;})
只是，对于多出来的这个字段，是不是也应该用uvm_field_int宏来注册呢？如果不使用宏注册的话，那么当调用print函数时，在显示结果中就看不到其值，但是如果使用了宏，结果就是这个根本就不需要在pack和unpack操作中出现的字段出现了。这会带来极大的问题。
UVM考虑到了这一点，它采用在后面的控制域中加入UVM_NOPACK的形式来实现：
文件：src/ch3/section3.3/3.3.3/my_transaction.sv
29 `uvm_object_utils_begin(my_transaction)
30 `uvm_field_int(dmac, UVM_ALL_ON)
31 `uvm_field_int(smac, UVM_ALL_ON)
32 `uvm_field_int(ether_type, UVM_ALL_ON)
33 `uvm_field_array_int(pload, UVM_ALL_ON)
34 `uvm_field_int(crc, UVM_ALL_ON)
35 `uvm_field_int(crc_err, UVM_ALL_ON | UVM_NOPACK)
36 `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);
在这个17bit的数字中，bit0表示copy，bit1表示no_copy，bit2表示compare，bit3表示no_compare，bit4表示print，bit5表示no_print，bit6表示record，bit7表示no_record，bit8表示pack，bit9表示no_pack。剩余的7bit则另有它用，这里不做讨论。UVM_ALL_ ON的值是’b000000101010101，表示打开copy、compare、print、record、pack功能。record功能是UVM提供的另外一个功能，但是其应用并不多，所以在上节中并没有介绍。UVM_ALL_ON | UVM_NOPACK的结果就是’b000001101010101。这样UVM在执行pack操作时，首先检查bit9，发现其为1，直接忽略bit8所代表的UVM_PACK。
除了UVM_NOPACK之后，还有UVM_NOCOMPARE、UVM_NOPRINT、UVM_ NORECORD、UVM_NOCOPY等选项，分别对应compare、print、record、copy等功能。
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个不同的字段。如果使用上面的方式，问题虽然解决了，但是这4个字段的含义不太明确。
一个可行的解决方案是：
文件：src/ch3/section3.3/3.3.4/my_transaction.sv
4 class my_transaction extends uvm_sequence_item;
5 6 rand bit[47:0] dmac;
7 rand bit[47:0] smac;
8 rand bit[15:0] vlan_info1;
9 rand bit[2:0] vlan_info2;
10 rand bit vlan_info3;
11 rand bit[11:0] vlan_info4;
12 rand bit[15:0] ether_type;
13 rand byte pload[];
14 rand bit[31:0] crc;
15 16 rand bit is_vlan;
…
31 `uvm_object_utils_begin(my_transaction)
32 `uvm_field_int(dmac, UVM_ALL_ON)
33 `uvm_field_int(smac, UVM_ALL_ON)
34 if(is_vlan)begin
35 `uvm_field_int(vlan_info1, UVM_ALL_ON)
36 `uvm_field_int(vlan_info2, UVM_ALL_ON)
37 `uvm_field_int(vlan_info3, UVM_ALL_ON)
38 `uvm_field_int(vlan_info4, UVM_ALL_ON)
39 end
40 `uvm_field_int(ether_type, UVM_ALL_ON)
41 `uvm_field_array_int(pload, UVM_ALL_ON)
42 `uvm_field_int(crc, UVM_ALL_ON | UVM_NOPACK)
43 `uvm_field_int(is_vlan, UVM_ALL_ON | UVM_NOPACK)
44 `uvm_object_utils_end
…
50 endclass
在随机化普通以太网帧时，可以使用如下的方式：
my_transaction tr;
tr = new();
assert(tr.randomize() with {is_vlan == 0;});
在随机化VLAN帧时，可以使用如下的方式：
my_transaction tr;
tr = new();
assert(tr.randomize() with {is_vlan == 1;});
使用这种方式的VLAN帧，在执行print操作时，4个字段的信息将会非常明显；在调用compare函数时，如果两个transaction不同，将会更加明确地指明是哪个字段不一样。
酷客网相关文章：
评论前必须登录！
注册