在描述完電路之后，我們需要進行對代碼進行驗證，主要是進行功能驗證。

現(xiàn)在驗證大多是基于UVM平臺寫的systemverilog，然而我并不會sv，不過我會使用verilog進行簡單的驗證，其實也就是所謂的仿真。

我們來記錄一下一些驗證的基礎(chǔ)吧。

一、驗證基礎(chǔ)與仿真原理

①綜合中的語法，都適用于仿真，在仿真中，Verilog語句是串行的，其面向硬件的并行特性則是通過其語義（語言含義）來實現(xiàn)的，因此并不會丟失代碼的并行含義和特征。

②仿真的關(guān)鍵元素有：仿真時間、事件驅(qū)動、隊列、調(diào)度等。

③仿真時間：指由仿真器維護的時間值，用來對仿真電路所用的真實時間進行建模。0時刻被稱為仿真起始時刻。當(dāng)仿真時間推進到某一個時間點時，該時間點就被稱為當(dāng)前仿真時間，而以后的任何時刻都被稱為未來的仿真時間。

本質(zhì)上，仿真時間是沒有時間單位的，由于代碼中有`timescale語句的定義，就出現(xiàn)了xxxns。

仿真事件都是嚴(yán)格按照仿真時間向前推進的，如果在同一個仿真時刻有多個事件要執(zhí)行，那么首先需要根據(jù)他們之間的優(yōu)先級來判定誰先執(zhí)行。優(yōu)先級相同，可能隨機執(zhí)行，也可能按照代碼的順序來執(zhí)行。

④事件驅(qū)動：仿真時間只能被下面事件中的一種來推進：

·定義過的門級或者線傳輸延時；

·更新時間；

·“#”的事件控制；

·“always”關(guān)鍵字引入的事件控制

·“wait”的等待語句

⑤事件隊列與調(diào)度：事件隊列與調(diào)度可以簡單地理解為：它決定了verilog在某個時刻先完成哪些語句。

VerilogHDL的分層事件隊列為：

⑥關(guān)于forever、force和release、wait、UDP、PLI等具體語法我就不想記錄了，沒那個心思。。。

⑦系統(tǒng)任務(wù)的使用：

在Verilog HDL 語言中，以“$”字符開始的標(biāo)識符表示系統(tǒng)任務(wù)或系統(tǒng)函數(shù)。系統(tǒng)任務(wù)和函數(shù)即在語言中預(yù)定義的任務(wù)和函數(shù)。和用戶自定義任務(wù)和函數(shù)類似，系統(tǒng)任務(wù)可以返回0 個或多個值，且系統(tǒng)任務(wù)可以帶有延遲。系統(tǒng)任務(wù)的功能非常強大，主要分為以下幾類：

A、顯示任務(wù)（display task）；

B、文件輸入/輸出任務(wù)（File I/O task）；

C、時間標(biāo)度任務(wù)（timescale task）；

D、仿真控制任務(wù)（simulation control task）；

E、時序驗證任務(wù)（timing check task）；

F、仿真時間函數(shù) （simulation time function）

G、實數(shù)變換函數(shù)（conversion functions for real）；

H、概率分布函數(shù)（probabilistic distribution function）

二、測試文件的激勵

（1）信號的初始化問題

主要有三種產(chǎn)生激勵的方法：一種是直接編輯測試激勵波形（這種基本上被淘汰了），一種是用Verilog測試代碼的時序控制功能，產(chǎn)生測試激勵。還有就是利用Verilog HDL 語言的讀文件功能，從文本文件中讀取數(shù)據(jù)（該數(shù)據(jù)可以通過C/C++、MATLAB?等軟件語言生成）。

①代碼中的變量的初始化可以用initial進行初始化，也可以在定義的時候進行初始化。

②在硬件系統(tǒng)中，當(dāng)系統(tǒng)上電之后，信號電平不是0就是1，不會存在x或者z，這是就會根據(jù)EDA的默認(rèn)狀態(tài)進行默認(rèn)的設(shè)置。由于上電的默認(rèn)性，導(dǎo)致這個默認(rèn)信號不一定是我們想要的信號，因此我們需要進行復(fù)位進行初始化。

③在Verilog HDL 中，有兩種不同的原因可能導(dǎo)致信號值為x。第一種原因是，有兩個不同的信號源用相同的強度驅(qū)使同一個節(jié)點，并試圖驅(qū)動成不同的邏輯值，這一般是由設(shè)計錯誤造成的。第二種原因是信號值沒有初始化。所以在設(shè)計組合邏輯時，需要將不確定的輸入轉(zhuǎn)化成確定輸入，然后再完成組合邏輯。

（2）時鐘信號的生成

①普通時鐘信號

所謂的普通時鐘信號就指的是占空比為50%的時鐘信號，也是最常用的時鐘信號，其波形下圖所示：

占空比為50%的時鐘信號

普通時鐘信號可通過initial 語句和always 語句產(chǎn)生，其代碼如下：

----基于initial 語句的方法：

parameter clk_period = 10;

reg clk;

initial begin

clk = 0;

forever

# （clk_period/2） clk = ~clk;

end

---基于always 語句的方法：

parameter clk_period = 10;

reg clk;

initial

clk = 0;

always # （clk_period/2） clk = ~clk;

在這里的initial 語句用于初始化clk 信號，否則就會出現(xiàn)對未知信號取反的情況，因而造成clk信號在整個仿真階段都為未知狀態(tài)。

②自定義占空比的時鐘信號

自定義占空比信號通過always 模塊可以快速實現(xiàn)，下面給出一個占空比為40%的時鐘信號代碼：

parameter High_time = 4，

Low_time = 6; //占空比為High_time/（ High_time+ Low_time）

reg clk;

always begin

clk = 1;

#High_time;

clk = 0;

#Low_time;

end

這里由于直接對clk 信號賦值，所以不需要initial 語句初始化clk 信號。當(dāng)然，這種方法也可以用于產(chǎn)生普通時鐘信號，只是代碼行數(shù)較多而已。

③相位偏移的時鐘信號

相位偏移是兩個時鐘信號之間的相對概念，下圖所示，其中clk_a 為參考信號，clk_b為偏移信號：

首先通過一個always 模塊產(chǎn)生參考時鐘clk_a，然后通過延遲賦值得到clk_b 信號，其偏移的相位可通過360*pshift_time%（High_time+Low_time）來計算，其中%為取模運算。

下面代碼的相位偏移為72 度：

parameter High_time = 5，

Low_time = 5，

pshift_time = 2;

reg clk_a;

wire clk_b;

always begin

clk_a = 1;

# High_time;

clk_b = 0;

# Low_time;

end

assign # pshift_time clk_b = clk_a;

④固定數(shù)目的時鐘信號

上述語句產(chǎn)生的時鐘信號都是無限個周期的，也可以通過repeat 語句來產(chǎn)生固定個數(shù)的時鐘脈沖，下面的代碼產(chǎn)生了5 個周期的時鐘：

parameter clk_cnt = 5，

clk_period = 2;

reg clk;

initial begin

clk = 0;

repeat （clk_cnt）

# clk_period/2 clk = ~clk;

end

（3）復(fù)位信號的產(chǎn)生

①異步復(fù)位信號

異步復(fù)位信號的實現(xiàn)代碼如下，代碼將產(chǎn)生低有效的復(fù)位信號rst_n，其復(fù)位時間為100 個仿真單位：

parameter rst_repiod = 100;

reg rst_n;

initial begin

rst_n = 0;

# rst_repiod;

rst_n = 1;

end

②同步復(fù)位

同步復(fù)位信號的實現(xiàn)代碼如下：

parameter rst_repiod = 100;

reg rst_n;

initial begin

rst_n = 1;

@（ posedge clk）;

rst_n = 0;

# rst_repiod;

@（ posedge clk）;

rst_n = 1;

end

上述代碼首先將復(fù)位信號rst_n 初始化為1，然后等待時鐘信號clk 的上升沿，將rst_n拉低，進入有效復(fù)位狀態(tài)；然后經(jīng)過100 個仿真周期，等待下一個上升沿到來后，將復(fù)位信號置為1。在仿真代碼中，是不存在邏輯延遲的，因此在上升沿對rst_n 的賦值，能在同一個沿送到測試代碼邏輯中。

在需要復(fù)位時間為時鐘周期的整數(shù)倍時，可以將rst_repiod 修改為時鐘周期的3 倍來實現(xiàn)，也可以通過下面的代碼來完成。

parameter rst_num = 5;

initial begin

rst_n = 1;

@（posedge clk）;

rst_n = 0;

repeat（rst_num） @（posedge clk）;

rst_n = 1;

end

上述代碼在clk 的第一個上升沿開始復(fù)位，然后經(jīng)過5 個時鐘上升沿后，在第5 個時鐘上升沿撤銷復(fù)位信號，進入有效工作狀態(tài)。

（4）數(shù)據(jù)的產(chǎn)生

數(shù)據(jù)的產(chǎn)生這里就不進行描述了，在以后關(guān)于常用的仿真模塊中進行記錄。

三、提高仿真時間的注意點

①減少層次結(jié)構(gòu)

仿真代碼的層次越少，執(zhí)行時間就越短。這主要是由于參數(shù)在模塊端口之間傳遞需要消耗仿真器的執(zhí)行時間。

②減少門級代碼的使用

由于門級建模屬于結(jié)構(gòu)級建模，自身參數(shù)建模已經(jīng)比較復(fù)雜了，還需要通過模塊調(diào)用的方式來實現(xiàn)，因此建議仿真代碼盡量使用行為級語句，建模層次越抽象，執(zhí)行時間就越短。引申一點，在行為級代碼中，盡量使用面向仿真的語句。例如，延遲兩個仿真時間單位，最好通過“#2”來實現(xiàn)，而不是通過深度為2 的移位寄存器來實現(xiàn)。

③仿真精度越高，效率越低

例如包含`timescale 1ns / 1ps 定義的代碼執(zhí)行時間就比包含`timescale 1ns / 1ns 定義的代碼執(zhí)行時間長。

④進程越少，效率越高

代碼中的語句塊越少仿真越快，例如將相同的邏輯功能分布在兩個always 語句塊中，其仿真執(zhí)行時間就比利用一個always 語句來實現(xiàn)的代碼短。這是因為仿真器在不同進程之間進行切換也需要時間。

⑤減少仿真器的輸出顯示

Verilog HDL 語言包含一些系統(tǒng)任務(wù)，可以在仿真器的控制臺顯示窗口輸出一些提示信息。雖然其對于軟件調(diào)試是非常有用的，但會降低仿真器的執(zhí)行效率。因此，在代碼中這一類系統(tǒng)任務(wù)不能隨意使用。本質(zhì)上來講，減少代碼執(zhí)行時間并不一定會提高代碼的驗證效率。