systemverilogconstraint中的foreach可以对数组进行遍历和约束，常用于普通数组，队列或者动态数组。而当对associative array(联合数组/字典)应用foreach时，遇到一些问题，记录分享如下。

联合数组含有key和value两个元素，在这里key的类型以int和string为例，value元素以int和int[$]队列为例。

[int/string] [int] Associative Array

(相关资料图)

实践的demo代码如下：

classtest;randbit[3:0]rd_dict[int];randbit[3:0]rd_dict_fix[int];randbit[3:0]rd_dict_str[string];constraintc_rand{rd_dict.size==7;foreach(rd_dict[i]){rd_dict[i]<13;}foreach(rd_dict_fix[i])rd_dict_fix[i]==13;foreach(rd_dict_str[i])rd_dict_str[i]==14;}functionnew();rd_dict_fix[9]=0;rd_dict_str["A"]=0;endfunction

rd_dict没有进行初始化，使用constraint的size进行约束联合数组key的个数和value取值约束

rd_dict_fix在new函数中进行初始化，包含一个int key元素，在constraint中对value进行约束

rd_dict_str在new函数进行初始化，包含一个string key元素，在constraint中对value进行约束

添加适当的测试打印代买，可以得到如下的仿真结果：

可以看出，普通的联合数组，如果没有初始化key元素，可以在constraint中使用size约束key的个数，但key是顺序递增的，0~size-1。

如果初始化了key元素，无论是int还是string类型的key，使用foreach时，可以对已初始化的key对应的value进行约束。

int/string->int[$] Associative Array

联合数组的value是int队列时，demo代码如下：

classtest;randbit[3:0]rd_dict[int][$];randbit[3:0]rd_dict_fix[int][$];randbit[3:0]rd_dict_str[string][$];constraintc_rand{rd_dict.size==7;foreach(rd_dict[i]){rd_dict[i].size==3;foreach(rd_dict[i][j]){rd_dict[i][j]<13;}}foreach(rd_dict_fix[i]){rd_dict_fix[i].size==4;foreach(rd_dict_fix[i][j])rd_dict_fix[i][j]==13;}foreach(rd_dict_str[i]){rd_dict_str[i].size==4;foreach(rd_dict_str[i][j])rd_dict_str[i][j]==14;}}functionnew();rd_dict_fix[9]="{};rd_dict_str["A"]="{};endfunction

rd_dict的key是int类型，value是int[$]队列类型的value，size和value值都进行了约束。

rd_dict_fix类型和rd_dict相同，区别在于new函数中进行key初始化，仅包含一个key。

rd_dict_str的key类型是string类型，其他和rd_dict_fix相同。

不出意外，上述的code编译出错：

...Expressionofthistypecannotbeusedtoindexthearray...

错误在于key是string类型，value是int[$]队列的字典，constraint中不能使用foreach操作。

将上述string->int[$]的constraint注释后，编译可以通过，在仿真时会出错：

Theconstraintsolverfailedwhenaccessinganullarrayrd_dict[0].Pleasemakesurearrayrd_dict[0]isallocatedproperly.

由于rd_dict[int][$]并没有在new函数中进行初始化，即使在constraint中使用了size约束大小，也没有达到预期的效果，这点和[int/string] [int] Associative Array例子中不同。

上述问题解决后，可得到最后的仿真结果：

从上述的结果来看，如果联合数组的value是队列时，则需要先进行key的初始化，才可在constraint中进行对value队列的约束。key是string类型时，似乎没办法使用foreach进行约束。

审核编辑：刘清