2

考虑以下 VHDL 代码：

constant c : std_logic_vector(7 downto 0) := (7 downto 6 => '1', others => '0');

在这里，索引 7 和 6 很重要：它们指示哪些元素应该为 1，编译器可以从中推导出哪些元素应该为 0。

问题 1

如果我理解正确，这也可以写成

constant c : std_logic_vector(7 downto 0) := (7 downto 6 => '1') & (5 downto 0 => '0');

现在我想知道这到底是如何工作的，以及索引是否仍然重要或只是它们之间的差异。按照我的理解，表达式(x downto y => z)创建了一个带有 indices 的数组x downto y，其元素都等于z（并且具有相同的类型）。但是当数组连接时，这些索引重要吗？即，我是否还可以编写以下任何内容：

constant c : std_logic_vector(7 downto 0) := (1 downto 0 => '1') & (5 downto 0 => '0');
constant c : std_logic_vector(7 downto 0) := (99 downto 98 => '1') & (4 downto -1 => '0');

当然，人们可以说那些陈述，尤其是。最后一个，不是很清楚，但我的问题是：他们会有相同的结果吗？或者它们会导致某种错误或错误？

我想知道这个的原因是你也可以写

constant c : std_logic_vector(7 downto 0) := "11" & "000000";

并且文字"11"没有指定任何范围，所以我不确定这个文字的确切类型是什么，但肯定不是std_logic_vector(7 downto 6).

问题2

最后，我想知道两者之间有什么区别

constant c : std_logic_vector(7 downto 0) := (7 downto 6 => '1') & (5 downto 0 => '0');

和

constant c : std_logic_vector(7 downto 0) := (7 downto 6 => '1', 5 downto 0 => '0');

我的意思是：你有什么理由想要/需要写前者（这似乎更容易出错，因为如果你交换两个聚合，它会产生意想不到的结果）而不是后者？还是只是口味问题？

4

1 回答 1

3
  1. 让我们从文字开始。当你指定一个字面量时，默认范围是（type_index'low to type_index'low + len-1）。看到这一点的最简单方法是在指定常量时，其中子类型中不需要范围：
constant SOME_CONSTANT : std_logic_vector := x"00";

在这里，如果您检查 SOME_CONSTANT 的范围，您会看到它的 (0 到 7)。这是因为 std_logic_vector 被声明为：

type std_ulogic_vector is array(natural range <>) of std_logic;

'natural 的低值是 0，它是起点。

假设你有点疯狂，这是：

type my_crazy_array_t is array(std_logic range <>) of integer;

你声明了一个常量：

constant CRAZY : my_crazy_array_t := (0, 22);

结果是：

CRAZY('U') = 0
CRAZY('X') = 22
CRAZY'left = 'U'
CRAZY'right = 'X'
CRAZY'low = 'U'
CRAZY'high = 'X'

因为'U'是 的低值std_logic，后跟 'X'。

在其他问题上，这一切都有效，因为 VHDL 始终是上下文驱动的，并且对于数组，只要长度匹配，结果数组总是可以从“左”映射到“右”。在您的示例中，长度是正确的，并且从声明中知道子类型，因此可以按照您的指定进行映射。

注意：(4 downto -1 => '0');是非法的，因为 -1 不是 std_logic_vector 的有效索引值，所以你会得到一个错误（可能来自&函数，因为它无法计算出你的意思，因为它不能是 std_logic_vector）。

  1. 不同之处在于第一个是2位和6位位串的串联，第二个是完整的8位位串。您使用哪个可能是风格问题。但通常，为此，我会使用文字，例如：constant c : std_logic_vector(7 downto 0) := x"C0";您使用什么以及何时使用可能取决于用户最清楚的内容。
于 2020-10-01T12:37:15.883 回答