IC验证学习笔记（一）

1.关于数组的维度

大概有如下几种 以int 为例子：
本例子是以二维度实现的：

int a [i] [j]//维度都在变量的右侧，从左到右，维度依次降低 一共有i行j列
int [i] b [j]// 变量左右侧都有维度，高维度在变量右侧，低维度在变量左侧，一共有j行i列
int [i] [j] c// 维度都在变量左侧，从左到右，维度依次降低,一共有i行j列

2.关于非组合型和组合型

还是以上面例子来进行说明
通常的，我们在verlog中会见到这样的RAM:

 reg [7:0] RAM [0:4095]; 

这种形式在SV中被称呼为非组合型声明，也就是数组中的成员之间存储数据都是互相独立的。
下面将组合型和非组合型的数组进行归纳与分类：
1.数组的维度如果是放在变量的右侧，则是非组合型的

int a [i] [j]//维度都在变量的右侧，从左到右，维度依次降低 一共有i行j列，非组合型数组
int [i] b [j]// 变量左右侧都有维度，高维度在变量右侧，低维度在变量左侧，一共有j行i列，非组合型数组
int [i] [j] c// 维度都在变量左侧，从左到右，维度依次降低,一共有i行j列 组合型数组

组合型数组初始化时，和向量初始化一致
非组合型数组初始化时，则需要通过’{}来对数组的每一个维度进行赋值

3.

3.其他补充说明

但是要注意，下标直接为[1024]等同于[0:1023]而非[1023:0]， 但一般很多数组都是使用[high:low]的形式，因此，当使用流操作>> << 时候，要注意把它们的值赋给[SIZE]这样下标形式的数组时候，会发生倒序。
同理，在非合并数组使用流操作符( >> <<)赋值给合并数组时候也需要注意：