Mapping 两个二维数组之间映射的SystemVerilog约束_Mapping_Constraints_System Verilog

Mapping 两个二维数组之间映射的SystemVerilog约束

mapping system-verilog

Mapping 两个二维数组之间映射的SystemVerilog约束,mapping,constraints,system-verilog,Mapping,Constraints,System Verilog,有两个MxN 2D阵列： rand bit [M-1:0] src [N-1:0]; rand bit [M-1:0] dst [N-1:0]; 他们两个都将被单独随机分配，这样他们都有1'b1的p数，其余的都是1'b0 第三个名为“map”的整数MxN数组在两个数组“src”和“dst”之间建立一对一的映射 rand int [M-1:0] map [N-1:0]; 需要对“map”进行约束，以便在随机化后，对于src[i][j]的每个元素，其中src[i][j]==1'b1，当dst

有两个MxN 2D阵列：

rand bit [M-1:0] src [N-1:0]; 
rand bit [M-1:0] dst [N-1:0];

他们两个都将被单独随机分配，这样他们都有1'b1的p数，其余的都是1'b0

第三个名为“map”的整数MxN数组在两个数组“src”和“dst”之间建立一对一的映射

rand int [M-1:0] map [N-1:0];

需要对“map”进行约束，以便在随机化后，对于src[i][j]的每个元素，其中src[i][j]==1'b1，当dst[k][l]==1时，map[i][j]==M*k+l。对于map的每个非零元素，k和l必须是唯一的

举个例子：设M=3，N=2

让src

[1   0   1
 0   1   0]

让dst去吧

[0   1   1
 1   0   0]

然后，“map”的一种可能随机化为：

[3   0   1
 0   2   0]

在上图中：

3表示从src[0,0]指向dst[1,0]（3=1*M+0）
1表示从src[0,2]指向dst[0,1]（1=0*M+1）
2表示从src[1,1]指向dst[0,2]（2=0*M+2）

无法有条件地选择数组中唯一的元素
不能将随机变量作为数组元素的索引表达式的一部分

src

dst

  module top;
   parameter M=3,N=4,P=4;
   bit  [M-1:0] src [N];
   bit  [M-1:0] dst [N];
   int  map [N][M]; 
   int  pointers[$];

   initial begin
      assert( randomize(src) with {src.sum() with ($countones(item)) == P;} );
      assert( randomize(dst) with {dst.sum() with ($countones(item)) == P;} );
      foreach(dst[K,L]) if (dst[K][L]) pointers.push_back(K*M+L);
      pointers.shuffle();
      foreach(map[I,J]) map[I][J] = pointers.pop_back();
      $displayb("%p\n%p",src,dst);
      $display("%p",map);
   end
endmodule

无法有条件地选择数组中唯一的元素
不能将随机变量作为数组元素的索引表达式的一部分

src

dst

  module top;
   parameter M=3,N=4,P=4;
   bit  [M-1:0] src [N];
   bit  [M-1:0] dst [N];
   int  map [N][M]; 
   int  pointers[$];

   initial begin
      assert( randomize(src) with {src.sum() with ($countones(item)) == P;} );
      assert( randomize(dst) with {dst.sum() with ($countones(item)) == P;} );
      foreach(dst[K,L]) if (dst[K][L]) pointers.push_back(K*M+L);
      pointers.shuffle();
      foreach(map[I,J]) map[I][J] = pointers.pop_back();
      $displayb("%p\n%p",src,dst);
      $display("%p",map);
   end
endmodule