在做仿真的時(shí)候往往會(huì)去做代碼覆蓋率和功能覆蓋率的分析,來(lái)保證仿真是做的比較充分完備的。
在Vivado里面也支持我們做這項(xiàng)操作,現(xiàn)在就來(lái)看一下流程吧。
第一步:選擇設(shè)置
第二步:在仿真選項(xiàng)里面依次找到下面的設(shè)置選項(xiàng),默認(rèn)vivado是沒(méi)有打開覆蓋率分析這個(gè)選項(xiàng)的。
第三步:做如下設(shè)置,其中cover是我們想要設(shè)置的覆蓋率的名字,這個(gè)可以自己設(shè)置,./是覆蓋率信息放置的位置,這兩項(xiàng)都可以根據(jù)自己的使用來(lái)設(shè)置。sbct是設(shè)置想要收集哪些覆蓋率信息,s是行覆蓋率,b是分支覆蓋率,c的條件覆蓋率,t是翻轉(zhuǎn)覆蓋率。設(shè)置完成之后點(diǎn)擊Apply保存設(shè)置就可以了。這樣在我們仿真的時(shí)候就會(huì)進(jìn)行覆蓋率的收集了。
第四步:點(diǎn)擊仿真,跑一個(gè)測(cè)試用例
然后就可以看到在對(duì)應(yīng)的仿真目錄下生成一個(gè)xsim.codeCov的目錄,因?yàn)槲以O(shè)置的./所以生成的信息放在了這個(gè)目錄下。
點(diǎn)進(jìn)去的話,會(huì)發(fā)現(xiàn)是一個(gè)xsim.CCInfo文件,之后就需要我們處理一下,把他變成可讀的html文件。
第五步:在TCL里面輸入下面的命令
xcrg.exe -cc_report E:/myreport1 -cc_db cover -cc_dir E:/fpga_image_sim/fpga_image_sim.sim/sim_1/behav/xsim/xsim.codeCov/
就可以看到vivado在幫我們生成相應(yīng)的報(bào)告
生成的報(bào)告:
然后點(diǎn)擊dashboard.html查看報(bào)告。
就可以看到相應(yīng)的報(bào)告了,我仿真就跑了很短的時(shí)間所以覆蓋率很低。
并且我們可以按模塊來(lái)查看相應(yīng)的報(bào)告
每個(gè)模塊內(nèi)部的報(bào)告也可以看到:
然后可以根據(jù)詳細(xì)的報(bào)告去構(gòu)造特殊的測(cè)試案例來(lái)提升覆蓋率。
最后解釋一下剛剛那句命令的含義:
這個(gè)參數(shù)用來(lái)控制生成的報(bào)告放到哪個(gè)目錄下 -cc_report E:/myreport1 后面的cover就是我們?cè)谠O(shè)置界面所設(shè)置的名字 -cc_db cover 這個(gè)是生成的覆蓋率信息的路徑,我設(shè)置的./所以vivado生成到了sim目錄下 -cc_dir E:/fpga_image_sim/fpga_image_sim.sim/sim_1/behav/xsim/xsim.codeCov/
關(guān)于這個(gè)命令更多的信息可以參見:
審核編輯:湯梓紅
-
仿真
+關(guān)注
關(guān)注
52文章
4356瀏覽量
137231 -
命令
+關(guān)注
關(guān)注
5文章
745瀏覽量
23283 -
代碼
+關(guān)注
關(guān)注
30文章
4921瀏覽量
72205 -
Vivado
+關(guān)注
關(guān)注
19文章
844瀏覽量
70043
原文標(biāo)題:怎么用Vivado做覆蓋率分析
文章出處:【微信號(hào):FPGA開源工坊,微信公眾號(hào):FPGA開源工坊】歡迎添加關(guān)注!文章轉(zhuǎn)載請(qǐng)注明出處。
發(fā)布評(píng)論請(qǐng)先 登錄
為什么覆蓋率分析師沒(méi)有證明電阻器已經(jīng)過(guò)測(cè)試?
怎么提高非隨機(jī)圖形設(shè)計(jì)的故障覆蓋率?
嵌入式仿真平臺(tái)SkyEye的覆蓋率分析相關(guān)資料下載
重點(diǎn)厘清覆蓋率相關(guān)的概念以及在芯片開發(fā)流程中跟覆蓋率相關(guān)的事項(xiàng)
Systemverilog覆蓋率的合并和計(jì)算方式
Verilog代碼覆蓋率檢查
IP開發(fā)時(shí)如何考慮復(fù)用覆蓋率
嵌入式代碼覆蓋率統(tǒng)計(jì)方法和經(jīng)驗(yàn)

統(tǒng)計(jì)嵌入式代碼覆蓋率的方法和經(jīng)驗(yàn)

怎么才能寫出高覆蓋率的Verilog代碼?
高覆蓋率的Verilog代碼的編寫技巧
Vivado仿真器和代碼覆蓋率簡(jiǎn)析

代碼覆蓋率記錄

評(píng)論