二维无约束 Nx1 阵列

Question

我正在尝试创建一个灵活的常量数组。我想使用二维数组，有时可能是例如 2x1、2x2、3x2 数组等。例如：

type int_2d_array is array (integer range<>, integer range<>) of integer;
constant M : positive := 2;
constant nMax : positive := 1;
constant n : int_2d_array(M - 1 downto 0, nMax - 1 downto 0) := ( (1) , (2) ); -- wrong

error: type int_2d_array does not match with the integer literal

如果我这样做，它不会抱怨：

type int_2d_array is array (integer range<>, integer range<>) of integer;
constant M : positive := 2;
constant nMax : positive := 2;
constant n : int_2d_array(M - 1 downto 0, nMax - 1 downto 0) := ( ( 0,1 ) , ( 2,2 )); -- accepted

第一个例子甚至可以使用二维数组吗？

Answer 1

LRM（第 9.3.3 节汇总）指出：

应始终使用命名关联指定包含单个元素关联的聚合，以便将它们与带括号的表达式区分开来。

所以，这是可以的：

constant n : int_1d_array(0 downto 0) := ( 0 => 1 );

这不是：

constant n : int_1d_array(0 downto 0) := ( 1 );

http://www.edaplayground.com/x/6a4