用+索引向量和数组：

Question

用+索引向量和数组：

我在SystemVerilog中看到了这样的代码：

if(address[2*pointer+:2])
  do_something;

我该如何理解+:当索引这个向量的时候？

我发现它被称为比特切片，但我找不到任何解释。

Answer 1

描述和示例可在IEEE STD 1800-2012§11.5.1“矢量位-选择和部分选择寻址”。第一个IEEE外观是IEEE 1364-2001(Verilog)§4.2.1“向量位选择和部分选择寻址”。以下是来自LRM的一个直接示例：logic [31: 0] a_vect; logic [0 :31] b_vect; logic [63: 0] dword; integer sel; a_vect[ 0 +: 8] // == a_vect[ 7 : 0] a_vect[15 -: 8] // == a_vect[15 : 8] b_vect[ 0 +: 8] // == b_vect[0 : 7] b_vect[15 -: 8] // == b_vect[8 :15] dword[8*sel +: 8] // variable part-select with fixed width如果sel是0dword[8*(0) +: 8] == dword[7:0]如果sel是7dword[8*(7) +: 8] == dword[63:56]左边的值总是起始索引。右边的数字是宽度，必须是正数。这个+和-指示要选择较高或较低索引值的位数，然后选择起始索引。假设address是以小Endian([msb：lsb])格式，然后if(address[2*pointer+:2])等于if({address[2*pointer+1],address[2*pointer]})

Answer 2

这是另一种指定位向量范围的方法。x+：n，向量的起始位置由x给出，然后计数。向上从x乘N.也有x-：n，在这种情况下，起始位置是x，然后计数。向下从x乘N.n是常数，x是可以包含迭代器的表达式。它有几个好处-它使代码更具可读性。您可以在引用位片时指定迭代器，而不会得到“不能有非常量值”错误。

Answer 3

我忍不住说a_vect[ 0 +: 8]和b_vect[ 0 +: 8]双方决心a_vect[7:0]和b_vect[7:0]取决于定义a_Vect和b_Vect的方式。那就是令人困惑如果你问我