Что означают фигурные скобки в Verilog? - PullRequest
Новая
       31

Что означают фигурные скобки в Verilog?

30 голосов
/ 20 января 2010

Мне трудно понять следующий синтаксис в verilog: 

input [15:0] a;  // 16-bit input
output [31:0] result; // 32-bit output
assign result = {{16{a[15]}}, {a[15:0]}};

Я знаю, что оператор assign соединит что-то с шиной result, используя провода и комбинационную логику, но что там с фигурными скобками и 16 {a [15]}?

Ответы [ 2 ]

48 голосов
/ 20 января 2010

Фигурные скобки означают конкатенацию от старшего значащего бита (MSB) слева до младшего значащего бита (LSB) справа. Вы создаете 32-битную шину (результат), чьи 16 старших значащих битов состоят из 16 копий бита 15 (MSB) шины, а 16 младших значащих битов состоят только из шины (эта конкретная конструкция известна как расширение знака , которое необходимо, например, чтобы сдвинуть вправо отрицательное число в форме дополнения до двух и сохранить его отрицательным, а не вводить нули в биты MSB).

Здесь есть учебник , но он не объясняет слишком много, чем приведенный выше абзац.

Во что бы то ни стало вложенные фигурные скобки вокруг a[15:0] излишни.

33 голосов
/ 20 января 2010

Как сказал Мэтт, фигурные скобки предназначены для объединения. Дополнительные фигурные скобки вокруг 16{a[15]} являются оператором replication . Они описаны в документе IEEE Standard for Verilog (Std 1364-2005), раздел «5.1.14 Конкатенации». 

{16{a[15]}}

совпадает с 

{ 
   a[15], a[15], a[15], a[15], a[15], a[15], a[15], a[15],
   a[15], a[15], a[15], a[15], a[15], a[15], a[15], a[15]
}

В биткой форме, 

assign result = {{16{a[15]}}, {a[15:0]}};

совпадает с: 

assign result[ 0] = a[ 0];
assign result[ 1] = a[ 1];
assign result[ 2] = a[ 2];
assign result[ 3] = a[ 3];
assign result[ 4] = a[ 4];
assign result[ 5] = a[ 5];
assign result[ 6] = a[ 6];
assign result[ 7] = a[ 7];
assign result[ 8] = a[ 8];
assign result[ 9] = a[ 9];
assign result[10] = a[10];
assign result[11] = a[11];
assign result[12] = a[12];
assign result[13] = a[13];
assign result[14] = a[14];
assign result[15] = a[15];
assign result[16] = a[15];
assign result[17] = a[15];
assign result[18] = a[15];
assign result[19] = a[15];
assign result[20] = a[15];
assign result[21] = a[15];
assign result[22] = a[15];
assign result[23] = a[15];
assign result[24] = a[15];
assign result[25] = a[15];
assign result[26] = a[15];
assign result[27] = a[15];
assign result[28] = a[15];
assign result[29] = a[15];
assign result[30] = a[15];
assign result[31] = a[15];
...