ic验证学习笔记-20天挑战day2.1

1.验证语言:systemverilog

2.SV常见数据类型

SV相比于verilog引入了一个新的数据类型logic, SV是verilog的延续，.v->.sv

verilog的语法在sv里面是完全兼容的

2.1内建数据类型

logic为0，1，X, Z四值逻辑 X不确定状态，Z高阻态

bit 0,1 二值逻辑

四值逻辑类型： integer, logic ,reg, net-type(wire, tri)

二值逻辑类型： byte,shortint, int, longint, bit

按照有符号和无符号的类型进行划分

有符号类型： byte,shortint, int, longint, integer

无符号类型： bit,logic, reg, net_type(wire, tri)

logic [7:0] logic_vec = 8'b1000_0000;// 128

bit [7:0] bit_vec = 8'b1000_0000;//128

byte signed_vec   = 8'b1000_0000;//-128 第一位为1表示负数，负数使用补码代替原码，补码是符号位不变，其余位置取反加1

2.2数值类型转换

四值类型的X,Z转换成二值类型都会变成0 

3.数组定义

3.1数组声明

以多维数组为例

int array [0：7][0:3]//完整声明

int array[8][4]//紧凑声明

3.2数组元素赋值

int array[0:3] = `{0,1,2,3};

array[0:2] = `{0,1,2};//前三个元素赋值

array= `{4{8}};//全部赋值为8

array = `{0,default:1};//赋值为{0,1,1,1}

3.3数组存储消耗硬件容量

同样24bit

bit [3][7:0] b_pack;//占据1个word,连续存储

bit [7:0] b_unpack[3];//会占据3个word的空间

logic [3][7:0] l_pack;//24x2 占据2个word的空间

logic[7:0] l_unpack[3];//3x(8x2) 占据3个word的空间

最后

以上就是乐观睫毛膏为你收集整理的ic验证学习笔记-20天挑战day2.1的全部内容，希望文章能够帮你解决ic验证学习笔记-20天挑战day2.1所遇到的程序开发问题。

如果觉得靠谱客网站的内容还不错，欢迎将靠谱客网站推荐给程序员好友。