一、數據類型

1、logic

logic類型只能有一個驅動。使用wire和reg的地方均可使用logic，但如雙向總線等有多個驅動的地方，則不可使用logic。

2、二值邏輯

對于二值邏輯變量與DUT中的四值邏輯變量連接時，如果DUT中產生了X和Z，會被轉換成雙狀態值。使用（$isunknown）操作符，可以在表達式的任意位出現X或Z的時候返回1。用來檢查未知值的傳播。

3、定寬數組

多維數組的foreach循環，以兩維數組為例：foreach（md[i，j]）。

數組下標和位下標可以同時使用。

需要等待數組中的變化（@ event）時，必須使用合并數組。

4、動態數組

只要基本數據類型相同，定寬數組和動態數組之間就可以相互賦值，在元素數目相同的情況下，可以把動態數組的值復制到定寬數組。

5、隊列

隊列的常量初始化中，無需使用單引號。

對于一些非合并的數據類型（非連續存放），需要使用單引號進行標量初始化賦值；對于合并的數據類型（連續存放），不需要使用單引號進行標量初始化賦值

隊列中的元素是連續存放的，隊頭或隊尾存取數據非常方便，常用來作為FIFO。

6、數組的方法

1）縮減

sum，product，and，or，xor

對于定寬數組、動態數組、隊列和關聯數組，從其中隨機取數可以使用$urandum_range($size(array)-1)；特別地，隊列和動態數組可以使用$urandum_range($array.size()-1)。

2）定位

min，max，unique

find：使用with來限定條件；還有find_index，find_first，find_first_index，find_last，find_last_index（返回索引的方法，返回值類型為int）

3）排序

改變了原始的數組，reverse，sort，rsort，shuffle，其中sort和rsort可以帶with進行條件選擇

7、結構

可以將結構定義為合并結構：typedef struct packed {bit[7:0] r,g,b;} pixel_p_s;

如果需要經常對整個結構體進行復制，那么，合并結構的效率會高一點；但是，對于合并結構中尺寸不規則的元素進行讀寫，需要移位和屏蔽操作，代價很高。

8、枚舉

枚舉默認值為從0開始遞增的整數，默認類型為int。

可以指定枚舉值，如：typedef enum {INIT, DECODE =2 , IDLE} fsmtype_e;

9、字符串

string用來保存長度可變的字符串，結尾不帶標識符null

二、過程塊和方法

1、函數和任務

參數的默認值和方向為logic輸入。

允許不帶ref進行數組參數的傳遞，這時數組會被復制到堆棧區，代價很大。

ref參數在任務里可以修改變量而且修改結果對調用它的函數隨時可見。

?

總結

以上是生活随笔為你收集整理的数字IC验证学习（一）的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。