仿真的目的是在軟件環(huán)境下,驗證電路的行為和設想中的是否一致。使用Modelsim仿真工具進行操作,Modelsim需要和Quartus II建好關聯(lián)!
建立 Quartus II 和 modelsim 的聯(lián)系
① 完成上述工作之后需要在 Quartus II 中設置 modelsim 路徑,Quartus II 菜單Tools ——>General——>EDA Tool Options,進行相關設置,如modelsim:C:\Modeltech_6.3g\win32 如圖2所示。
modelsim功能仿真步驟
一、啟動軟件
建立文件夾,在modelsim中選file下的change directory,在其中的choose folder對話框中設置目錄路徑。
二、建立工程
選file 的new下面的project,在project name中填寫項目名字。
項目名最好與頂層文件名一致。
project location 是工作目錄,可自己選擇。
default library name可直接采用默認的work,如此,workspace窗口中的library中就會出現(xiàn)work庫。
三、為工程添加文件
選擇add exsiting file后,根據(jù)相應提示將文件添加打牌projcet中,包括設計頂層文件.v以及測試向量文件.v/.vt。
四、編譯文件
compile中的compile all。
五、裝載文件
選擇library中的work里面的測試向量文件,點擊simulate下的start simulation。
六、開始仿真
在workspace下的sim中,選擇測試向量,右擊,選add中的add to wave,然后在simulate中選擇run all。
七、退出仿真
simulate中的end simulation。
注:
1 亦可不添加testbench,開始的步驟均同上,在裝載文件時,選中設計文件,在sim中點add 里面的add to wave。
直接對輸入信號編輯測試波形(右擊要編輯的信號,選中create wave),然后點擊run里面的run all。
2 在modelsim中直接寫testbench。
先在file中選中new里面的source,則在菜單欄里面會出現(xiàn)一個source欄目,在source底下勾選show language templates,則會出現(xiàn)該加載項,雙擊其中的create testbench,會出現(xiàn)一個create testbench wizard,在work中選中設計文件,再點擊next,可以指定testbench名及要編譯到的庫等,默認即可,點擊finish后自己添加內容就ok了。保存文件后綴為.v.
完了之后同前步驟將testbench文件編譯到工作庫里面即可。
Modelsim的仿真分為前仿真和后仿真,下面先具體介紹一下兩者的區(qū)別。
1 前仿真
前仿真也稱為功能仿真,主旨在于驗證電路的功能是否符合設計要求,其特點是不考慮電路門延遲與線延遲,主要是驗證電路與理想情況是否一致?删C合FPGA代碼是用RTL級代碼語言描述的,其輸入為RTL級代碼與Testbench.
2 后仿真
后仿真也稱為時序仿真或者布局布線后仿真,是指電路已經映射到特定的工藝環(huán)境以后,綜合考慮電路的路徑延遲與門延遲的影響,驗證電路能否在一定時序條件下滿足設計構想的過程,是否存在時序違規(guī)。其輸入文件為從布局布線結果中抽象出來的門級網表、Testbench和擴展名為SDO或SDF的標準時延文件。SDO或SDF的標準時延文件不僅包含門延遲,還包括實際布線延遲,能較好地反映芯片的實際工作情況。一般來說后仿真是必選的,檢查設計時序與實際的FPGA運行情況是否一致,確保設計的可靠性和穩(wěn)定性。選定了器件分配引腳后在做后仿真。
3 Modelsim仿真的基本步驟
Modelsim的仿真主要有以下幾個步驟:
(1)建立庫并映射庫到物理目錄;
(2)編譯原代碼(包括 Testbench);
(3)執(zhí)行仿真。
上述3個步驟是大的框架,前仿真和后仿真均是按照這個框架進行的,建立modelsim工程對前后仿真來說都不是必須的。
3.1建立庫
在執(zhí)行一個仿真前先建立一個單獨的文件夾,后面的操作都在此文件下進行,以防止文件間的誤操作。然后啟動Modelsim將當前路徑修改到該文件夾下,修改的方法是點File->Change Directory選擇剛剛新建的文件夾見下圖。
圖3 新建文件夾
做前仿真的時候,推薦按上述建立新的文件夾。
做后仿真的時候,在 Quartus II 工程文件夾下會出現(xiàn)一個文件夾:工程文件夾\simulation\modelsim,前提是正確編譯 Quartus II 工程;因此,不必再建立新的文件夾了。
仿真庫是存儲已編譯設計單元的目錄,modelsim 中有兩類仿真庫,一種是工作庫,默認的庫名為work,另一種是資源庫。Work庫下包含當前工程下所有已經編譯過的文件。所以編譯前一定要建一個work庫,而且只能建一個work庫。資源庫存放work庫中已經編譯文件所要調用的資源,這樣的資源可能有很多,它們被放在不同的資源庫內。例如想要對綜合在cyclone芯片中的設計做后仿真,就需要有一個名為cyclone_ver的資源庫。
映射庫用于將已經預編譯好的文件所在的目錄映射為一個modelsim可識別的庫,庫內的文件應該是已經編譯過的,在Workspace窗口內展開該庫應該能看見這些文件,如果是沒有編譯過的文件在庫內是看不見的。
建立仿真庫的方法有兩種。一種是在用戶界面模式下,點File->New->Library出現(xiàn)下面的對話框,選擇a new library and a logical mapping to it,在Library Name內輸入要創(chuàng)建庫的名稱,然后OK,即可生成一個已經映射的新庫。另一種方法是在Transcript窗口輸入以下命令:
vlib work
vmap work work
圖4 建立仿真庫
如果要刪除某庫,只需選中該庫名,點右鍵選擇Delete即可。
需要注意的是不要在modelsim外部的系統(tǒng)盤內手動創(chuàng)建庫或者添加文件到庫里;也不要modelsim用到的路徑名或文件名中使用漢字,因為modelsim可能無法識別漢字而導致莫名其妙的錯誤。
3.2編寫與編譯測試文件
在編寫Testbench之前,最好先將要仿真的目標文件編譯到工作庫中,點Compile->Compile或 ,將出現(xiàn)下面的對話框,
圖5 編譯目標文件
在Library中選擇工作庫,在查找范圍內找到要仿真的目標文件(Library選擇剛才建立的庫,查找范圍選擇目標文件所在的文件夾),然后點Compile和Done;或在命令行輸入vlog Counter.v。此時目標文件已經編譯到工作庫中,在Library中展開work工作庫會發(fā)現(xiàn)該文件。
當對要仿真的目標文件進行仿真時需要給文件中的各個輸入變量提供激勵源,并對輸入波形進行的嚴格定義,這種對激勵源定義的文件稱為Testbench,即測試臺文件。下面先講一下Testbench的產生方法。
方法一:我們可以在modelsim內直接編寫Testbench,而且modelsim還提供了常用的各種模板。具體步驟如下:
⑴ 執(zhí)行File->New->Source->verilog,或者直接點擊工具欄上的新建圖標,會出現(xiàn)一個verilog文檔編輯頁面,在此文檔內設計者即可編輯測試臺文件。需要說明的是在Quartus中許多不可綜合的語句在此處都可以使用,而且testbench只是一個激勵源產生文件,只要對輸入波形進行定義以及顯示一些必要信息即可,切記不要編的過于復雜,以免喧賓奪主。
⑵ Modelsim提供了很多Testbench模板,我們直接拿過來用可以減少工作量。在verilog文檔編輯頁面的空白處右鍵點Show Language Templates然后會出現(xiàn)一個加載工程,接著你會發(fā)現(xiàn)在剛才的文檔編輯窗口左邊出現(xiàn)了一個Language Templates窗口,見下圖。
圖6 應用模板生成 Testbench文件
雙擊Creat Testbench會出現(xiàn)一個創(chuàng)建向導,見下圖。
圖7 創(chuàng)建向導
選擇Specify Design Unit工作庫下,work工作庫下的目標文件,點Next,出現(xiàn)下面對話框:
圖8 設置Testbench向導
可以指定Testbench的名稱以及要編譯到的庫等,此處我們使用默認設置直接點Finish。這時在Testbench內會出現(xiàn)對目標文件的各個端口的定義還有調用函數(shù)接下來,設計者可以自己往Testbench內添加內容了(有注釋的為添加的內容),然后保存為.v格式即可。按照前面的方法把Testbench文件也編譯到工作庫中。
圖9 生成及修改后的Testbench文件
方法二:在 Quartus II 內編寫并編譯 Testbench ,之后將 Testbench 和目標文件放在同一個文件夾下,按照前面的方法把 Testbench 文件和目標文件都編譯到工作庫中之后。
PS:如果在工作庫中沒有該文件(在Testbench文件沒有端口的情況下),則在Simulate——>Start Simulate卡片中去掉優(yōu)化選項,如下圖所示。之后再重新編譯,即可在工作庫中找到該文件。
圖10 去掉優(yōu)化選項
3.3執(zhí)行仿真
因為仿真分為前仿真和后仿真,下面分別說明如何操作。
⑴ 前仿真
前仿真,相對來說是比較簡單的。在上一步我們已經把需要的文件編譯到工作庫內了,現(xiàn)在我們只需點simulate->Start Simulation或快捷按鈕 會出現(xiàn)start simulate對話框。點擊Design標簽選擇Work庫下的 Testbench 文件,然后點 OK 即可,也可以直接雙擊 Testbench文件Counter_tb.v,此時會出現(xiàn)下面的界面。
圖11 start simulate
在主界面中會多出來一個Objects窗口,里面顯示 Testbench 里定義的所有信號引腳,在Workspace里也會多出來一個Sim標簽。右鍵點擊Counter_tb.v,選擇Add->Add to Wave,如下圖所示。然后將出現(xiàn)Wave窗口,現(xiàn)在就可以仿真了,見下圖。
圖12 Wave窗口
窗口里面已經出現(xiàn)了待仿真的各個信號,點 將開始執(zhí)行仿真到100ns,繼續(xù)點仿真波形也將繼續(xù)延伸,見下圖。
圖13 仿真波形
若點 ,則仿真一直執(zhí)行,直到點 才停止仿真。
也可以在命令行輸入命令: run @1000
則執(zhí)行仿真到1000ns,后面的1000也可以是別的數(shù)值,設計者可以修改。在下一次運行該命令時將接著當前的波形繼續(xù)往后仿真。 至此,前仿真步驟完成。
⑵ 后仿真
這里是采用的Cyclone ii做的一個counter的例子。
后仿真與前仿真的步驟大體相同,只不過中間需要添加仿真庫(和所選器件及所有IP Core相關)、網表和延時文件的步驟。
后仿真的前提是quartus已經對要仿真的目標文件進行編譯,并生成modelsim仿真所需要的.vo文件(網表文件)和.sdo文件(時延文件),具體操作過程又有兩種方法,一種是通過Quartus調用Modelsim,Quartus在編譯之后自動把仿真需要的.vo文件以及需要的仿真庫加到modelsim中,操作簡單;一種是手動將需要的文件和庫加入modelsim進行仿真,這種方法可以增加主觀能動性,充分發(fā)揮modelsim的強大仿真功能。
① 通過Quartus調用Modelsim
使用這種方法時首先要對Quartus進行設置。 先運行Quartus,打開要仿真的工程,點菜單欄的Assignments,點EDA Tool settings,選中左邊Category中的Simulation.,在右邊的Tool name中選ModelSim(Verilog),選中下面的Run Gate Level Simulation automatically after complication.見下圖。
圖14 對Quartus進行設置
Quartus中的工程準備好之后點擊start complication按鈕,此時modelsim會自動啟動,而quartus處于等待狀態(tài)(前提是系統(tǒng)環(huán)境變量中用戶變量中PATH要設置好modelsim安裝路徑,如:D:\Modeltech_6.3\win32)。在打開的modelsim的Workspace窗口中你會發(fā)現(xiàn)多了工作庫和資源庫,而且work庫中出現(xiàn)了需要仿真的文件。Modelsim自動將quartus生成的.vo文件編譯到work庫,并建立相應的資源庫。如圖所示。
圖15 Quartus II 編譯之后自啟動modelsim
觀察庫,可以發(fā)現(xiàn),多了verilog_libs庫、gate_work庫和work庫,但是在"工程文件夾\simulation\modelsim"下,只有verilog_libs和gate_work文件夾,為什么庫里面卻多了一個work庫呢?而且gate_work庫和work庫文件內容相同!
gate_work 庫是Quartus II 編譯之后自動生成的,而work庫是modelsim默認庫。仔細觀察二者路徑,二者路徑相同,均為gate_work文件夾,可知 modelsim 將 gate_work 庫映射到 work 庫。因此,在后續(xù)的工作中操作gate_work 庫或者 work 庫都能得到正確結果。
編寫測試臺程序Counter_tb.v ,最好放在生成的.vo文件所在的目錄,以方便在需要手動仿真時使用。點Compile在出現(xiàn)的對話框中選中Counter_tb.v文件,然后點Compile按鈕,編譯結束后點Done,這時在Work庫中會出現(xiàn)測試臺文件。如下圖所示。
圖16 編譯測試文件
點擊simulate->Start Simulation或快捷按鈕 會出現(xiàn)start simulate對話框。點擊Design標簽選擇Work庫下的Counter_tb.v文件,然后點擊Libraries標簽在Search Library中點擊Add按鈕,選擇仿真所需要的資源庫(如果不知道需要選擇哪個庫,可以先直接點Compile看出現(xiàn)的錯誤提示中說需要的庫名,然后再重復上述步驟)見下圖。
圖17 選擇仿真所需要的資源庫
再點start simulate對話框的SDF標簽。在出現(xiàn)的對話框的SDF File框內加入.sdo時延文件路徑。在Apply To Region框內有一個“/”, 在“/”的前面輸入測試臺文件名,即“Counter_tb”,在它的后面輸入測試臺程序中調用被測試程序時給被測試程序起的名稱,本例中為“DUT”,見下圖。然后點OK。后面觀察波形與前仿真步驟相同。
圖18 添加.sdo文件
自動仿真和手動仿真的區(qū)別:
這種方法比較簡單,因為Quartus II調用Modelsim ,所以除了生成自動生成了modelsim仿真所需要的.vo文件(網表文件)和.sdo文件(時延文件)外,還生成了gate_work文件夾、verilog_libs文件夾;gate_work文件夾(可以叫工作庫,也可以叫編譯庫)下存放了已編譯的文件,verilog_libs文件夾下存放了仿真所需要的資源庫,上例是cycloneii_ver庫(文件夾)。而手動仿真則需要自己添加這些文件和庫。具體如下。
② 手動仿真
手動仿真需要自己添加文件和編譯庫,但可以充分發(fā)揮modelsim強大的仿真功能。操作時也要先對quartus進行設置,設置與前面相同只是不要選中Run Gate Level Simulation automatically after complication。然后啟動modelsim,將當前路徑改到"工程文件夾\simulation\modelsim"下。如下圖所示。
圖19 啟動modelsim
相比①中,這里少了一些庫(實際是verilog_libs庫、gate_work庫和work庫),因此下面要添加一個庫。新建一個庫,此處默認庫名為work,此時,"工程文件夾\simulation\modelsim"文件夾下出現(xiàn)了一個work文件夾,work庫下面沒有目標文件和測試文件,即work文件夾下沒有任何文件,建庫的目的就是將編譯的文件都放在該庫里,即放在該文件夾下。編譯之前,還需要添加仿真所需要的資源庫cycloneii_atoms(用到EP2C8),將D:\altera\90\quartus\eda\sim_lib目錄下的cycloneii_atoms文件復制到.vo所在的目錄,即"工程文件夾\simulation\modelsim"下。
如果按照①中的方法編寫testbench并同樣放在.vo所在的目錄,這時點Compile下的Compile或點 將會出現(xiàn)下面的對話框,將所選文件進行編譯。
圖20 編譯所需文件和資源庫
編譯完成之后,work工作庫下多了很多文件,同樣work文件夾下也多了很多文件(夾),建庫的目的可見一斑,其中有Counter_tb測試文件和counter目標文件。點擊simulate->Start Simulation或快捷按鈕 會出現(xiàn)start simulate對話框。這里和①相比只有Libraries標簽在Search Library時不一樣,其余2項都一樣。Libraries標簽在Search Library的設置如下圖。
圖21 選擇仿真所需要的資源庫
后面的觀察波形步驟跟前面一樣。
四、觀察波形的一些方法和技巧。
4.1 手動創(chuàng)建輸入波形(待定)
對于復雜的設計文件,最好是自己編寫testbench文件,這樣可以精確定義各信號以及各個信號之間的依賴關系等,提高仿真效率。
對于一些簡單的設計文件,也可以在波形窗口自己創(chuàng)建輸入波形進行仿真。具體方法是鼠標右擊work庫里的目標仿真文件counter.v,然后點create wave,彈出wave default窗口。如下圖所示。
圖22 Add to Wave
在wave窗口中選中要創(chuàng)建波形的信號,如此例中的CLK,然后右鍵點擊,選擇Create/Modify/Wave項出現(xiàn)下面的窗口:
圖23 設置輸入波形
在Patterns中選擇輸入波形的類型,然后分別在右邊的窗口中設定起始時間、終止時間以及單位,再點Next出現(xiàn)下面的窗口,我們把初始值的HiZ改為0,然后修改時鐘周期和占空比,然后點Finish。
圖24 設置輸入波形
接著繼續(xù)添加其他輸入波形,出現(xiàn)下面的結果。前面出現(xiàn)的紅點表示該波形是可編輯的。后面的操作與用testbench文本仿真的方法相同 。
圖25 仿真波形
4.2 觀察特定信號波形
如果設計者只想查看指定信號的波形,可以先選中objects窗口中要觀察的信號,然后點右鍵選擇Add to Wave->Selected signals,見下圖,那么在Wave窗口中只添加選中的信號。
圖26 查看特定信號波形
4.3 保存和導入波形文件(待定)
如果要保存波形窗口當前信號的分配,可以點File->Save,在出現(xiàn)的對話框中設置保存路徑及文件名,保存的格式為.do文件。
如果是想導出自己創(chuàng)建的波形(在文章最后有詳細的解釋)可以選擇File->Export Waveform在出現(xiàn)的對話框中選擇EVCD File并進行相關設置即可。
如果導入設計的波形選擇File->Import ECVD即可。
4.4 Dataflow窗口觀察信號波形
在主界面中點View->Dataflow可以看到會出現(xiàn)dataflow窗口,在objects窗口中拖一個信號到該窗口中,你會發(fā)現(xiàn)在dataflow窗口中出現(xiàn)你剛才選中信號所在的模塊,如果雙擊模塊的某一引腳,會出現(xiàn)與該引腳相連的別的模塊或者引線,見下圖。
圖27 Dataflow窗口
在dataflow窗口中點View->Show Wave,會在dataflow窗口中出現(xiàn)一個wave窗口,雙擊上面窗口中的某一模塊,則在下面的wave窗口中出現(xiàn)與該模塊相連的所有信號,如果已經執(zhí)行過仿真,在wave窗口中還會出現(xiàn)對應的波形,見下圖。
圖28 Dataflow窗口觀察仿真波形
在波形窗口中拖動游標,上面模塊的引腳信號的值也會隨著游標當前位置的改變而改變。
如果要在modelsim中修改原設計文件,在文檔頁面點擊右鍵,取消Read Only,即可修改,修改后繼續(xù)仿真。如果想結束仿真可以點Simulate->End Simulation,或直接在命令行輸入quit -sim,此時quartus也會顯示結束所有編譯過程。
五、 一些說明
關于在testbench里使用`timescale的問題
`timescale 是編譯器指令,用來定義時延精度和時延單位,命令格式為
`timescale time_unit/time_precision
其中time_unit定義時延單位,即后面模塊中出現(xiàn)的時延數(shù)值的單位,time_precision定義時延精度。例如
`timescale 1ns/100ps 表示時延單位為1ns,時延精度為100ps。
如果后面有語句 #5.22 a=1;
此時時延值5.22ns應該對應為5.2ns,因為精度為0.1ns。
如果設計中多個模塊帶有自身的`timescale,編譯時模擬器總是定義在所有模塊的最小時延精度上,并且所有模塊中的時延都自動地換算為到最小試驗精度上。
附錄:
Counter源代碼:
`timescale 1ns/100ps
module Counter (
input CLK,
input RST_N,
output [3:0] CNT
);
reg [3:0] cnt;
assign CNT = cnt;
always@(posedge CLK, negedge RST_N) begin
if (!RST_N)
cnt <= #5 4'h0;
else
cnt <= #0 cnt + 1'b1;
end
endmodule
Counter_tb源代碼:
`timescale 1ns/100ps
module Counter_tb ;
wire [3:0] CNT ;
reg RST_N ;
reg CLK ;
Counter
DUT (
.CNT (CNT ) ,
.RST_N (RST_N ) ,
.CLK (CLK ) );
//http://wenku.baidu.com/view/cd93f34ecf84b9d528ea7a95.html
initial begin
#0 CLK = 1'b0;
RST_N = 1'b0;
#5 RST_N = 1'b1;
end
// 50MHz
always #10 CLK = ~CLK;