如何constraint一个二维动态数组

sages

请问一下，本来想定义一个动态二维数组array，然后两个维度的大小由A和B的结果定义。但是如下的代码会报错。
求解如何破解

1. rand bit A;
   
2. rand bit B;
   
3. int array [][];
   
4. 
   
5. constraint c_A {A inside {0, 1}}
   
6. 
   
7. constraint c_B {B inside {0, 1}}
   
8. 
   
9. constraint c_arrary {array.size == A;
   
10.                               foreach (array[i]) array[i].size == B;
    
11.                             }
    

复制代码

AnswerLJ

1. 
   
2. class twoDarray;
   
3.         rand bit[31:0] array[][];
   
4.         rand bit[ 7:0] index1;
   
5.         rand bit[ 7:0] index2;
   
6.        
   
7.         constraint cons{
   
8.                 index1 == 'h3;
   
9.                 index2 == 'h2;
   
10.                 solve index1 before array;
    
11.                 solve index2 before array;
    
12.                 array.size() == index1;
    
13.                 foreach(array[i])
    
14.                         array[i].size() == index2;
    
15.         }
    
16. 
    
17. endclass
    

复制代码