SystemVerilog中字符串String类型的基础知识(一)

1.字符串变量的长度是字符串中字符的个数。
2.字符串类型的变量是动态的，因为他们的长度在仿真的过程中可能发生变化。
3.通过对字符串变量的索引，可以对字符串中的单个字符读或写。
4.字符串的行为类似于长度为8bits倍数的packed arrays.
5.赋给不同大小的整型变量的packed arrays的字符串要么被截断为变量的大小，要么在必要时在左边用0填充。
6.字符串数据类型的变量可以是任意长度。
7.当将字符串赋给字符串类型或在字符串类型操作数的表达式中使用时，字符串字面值会隐式转换为字符串类型。
8.字符串变量的索引应该从0到N-1(其中N是字符串的长度)编号，因此索引0对应于字符串的第一个(最左边)字符，索引N-1对应于最后一个字符(最右边)字符串的字符。
9.字符串变量可以采用特殊值""，即空字符串。索引一个空字符串变量应该是越界访问。
10.字符串变量不能包含特殊字符"\0"。将值0赋给一个字符串字符将被忽略。
11.字符串类型变量的声明：string variable_name [= initial_value];
parameter string default_name = "John Smith";
string myName = default_name;
12.如果没有对字符串变量赋初始值，变量自动初始化为“”，空字符串。一个空字符串的长度为零。
13.一个字符串可以赋值给字符串类型的变量或整型数据类型。

14.当赋值给一个整型数据类型的一个变量时,如果数据对象的的bit数不等于字符串中的字符数乘以8的倍数时,字符串是右对齐,左边的截断或左边添0。
byte c = "A"; // assigns to c "A"
bit [10:0] b = "\x41"; // assigns to b 'b000_0100_0001
bit [1:4][7:0] h = "hello" ; // assigns to "hello"
15.赋给字符串变量的字符串按照以下步骤进行转换:
*字符串字面值中的所有“\0”字符将被忽略(即从字符串中删除)。
*如果第一步的结果是空字符串字面量，则该字符串被赋值为空字符串。
*该字符串将被赋值为字符串字面量中的剩余字符。
16.整型值可以赋给字符串变量，但需要进行类型转换cast。
将整型值转换为字符串变量的步骤如下:
*如果整数值的大小(以位为单位)不是8的倍数，则该整数值将继续扩展并填充为0，直到其位大小为8的倍数。然后，扩展的值被视为一个字符串字面值，其中每个连续的8位表示一个字符。
*然后将前面描述的字符串转换步骤应用于扩展值。
string s0 = "String literal assign";// sets s0 to "String literal assign"
string s1 = "hello\0world"; // sets s1 to "helloworld"
bit [11:0] b = 12'ha41;
string s2 = string'(b); // sets s2 to 16'h0a41 //string=bit

typedef logic [15:0] r_t;
r_t r;
integer i = 1;
string b = "";
string a = {"Hi", b};
r = r_t'(a); // OK
b = string'(r); // OK //string=logic
b = "Hi"; // OK
b = {5{"Hi"}}; // OK
a = {i{"Hi"}}; // OK (non-constant replication)
r = {i{"Hi"}}; // invalid (non-constant replication)
a = {i{b}}; // OK
a = {a,b}; // OK
a = {"Hi",b}; // OK
r = {"H",""}; // yields "H\0". "" is converted to 8'b0
b = {"H",""}; // yields "H". "" is the empty string
a[0] = "h"; // OK, same as a[0] = "cough"
a[0] = b; // invalid, requires a cast
a[1] = "\0"; // ignored, a is unchanged