systemverilog constraint中的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]

	

	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]

	

	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進行約束。

	




	審核編輯：劉清