1

如何使用变量在 Specman/e 中创建一个固定的多维数组？ 然后访问单个元素或整行？

例如在 SystemVerilog 我会：

module top;

  function automatic my_func();
    bit [7:0] arr [4][8]; // matrix: 4 rows, 8 columns of bytes
    bit [7:0] row    [8]; // array : 8 elements        of bytes

    row = '{1, 2, 3, 4, 5, 6, 7, 8};

    $display("Array:");
    foreach (arr[i]) begin
      arr[i] = row;
      $display("row[%0d] = %p", i, row);
    end

    $display("\narr[2][3] = %0d", arr[2][3]);
  endfunction : my_func

  initial begin
    my_func();
  end

endmodule : top

这将产生以下输出：

Array:
row[0] = '{'h1, 'h2, 'h3, 'h4, 'h5, 'h6, 'h7, 'h8}
row[1] = '{'h1, 'h2, 'h3, 'h4, 'h5, 'h6, 'h7, 'h8}
row[2] = '{'h1, 'h2, 'h3, 'h4, 'h5, 'h6, 'h7, 'h8}
row[3] = '{'h1, 'h2, 'h3, 'h4, 'h5, 'h6, 'h7, 'h8}

arr[2][3] = 4

有人可以在 Specman/e 中重写 my_func() 吗？

4

2 回答 2

2

e中没有固定数组。但是可以定义一个列表类型的变量，包括多维列表，比如：

var my_md_list: list of list of my_type;

它与其他语言中的多维数组不同，因为通常每个内部列表（作为外部列表的一个元素）可能具有不同的大小。但是您仍然可以使用它来实现您的目的。例如，您的代码可能会或多或少地像这样被重写：

var arr: list of list of byte;
var row: list of byte = {1;2;3;4;5;6;7;8};

for i from 0 to 3 do {
    arr.add(row.copy());
    print arr[i];
};

print arr[2][3];

注意使用row.copy()- 它确保每个外部列表元素都是原始列表的副本。如果我们不使用copy()，我们将得到一个包含许多指向同一个列表的指针的列表。这也可能是合法的，具体取决于您的代码的用途。

于 2018-05-07T09:49:00.777 回答
2

如果是字段（与局部变量相反），也可以使用给定的大小声明它。同样，此大小不是“固定的”，可以在运行时修改（通过添加或删除项目），但它在创建时确定列表的原始大小，例如：

struct foo {
    my_list[4][8]: list of list of int;
};
于 2018-05-07T09:52:54.373 回答