在做仿真的時候往往會去做代碼覆蓋率和功能覆蓋率的分析,來保證仿真是做的比較充分完備的。
在Vivado里面也支持我們做這項操作,現(xiàn)在就來看一下流程吧。
第一步:選擇設(shè)置
第二步:在仿真選項里面依次找到下面的設(shè)置選項,默認(rèn)vivado是沒有打開覆蓋率分析這個選項的。
第三步:做如下設(shè)置,其中cover是我們想要設(shè)置的覆蓋率的名字,這個可以自己設(shè)置,./是覆蓋率信息放置的位置,這兩項都可以根據(jù)自己的使用來設(shè)置。sbct是設(shè)置想要收集哪些覆蓋率信息,s是行覆蓋率,b是分支覆蓋率,c的條件覆蓋率,t是翻轉(zhuǎn)覆蓋率。設(shè)置完成之后點擊Apply保存設(shè)置就可以了。這樣在我們仿真的時候就會進(jìn)行覆蓋率的收集了。
第四步:點擊仿真,跑一個測試用例
然后就可以看到在對應(yīng)的仿真目錄下生成一個xsim.codeCov的目錄,因為我設(shè)置的./所以生成的信息放在了這個目錄下。
點進(jìn)去的話,會發(fā)現(xiàn)是一個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)的報告
生成的報告:
然后點擊dashboard.html查看報告。
就可以看到相應(yīng)的報告了,我仿真就跑了很短的時間所以覆蓋率很低。
并且我們可以按模塊來查看相應(yīng)的報告
每個模塊內(nèi)部的報告也可以看到:
然后可以根據(jù)詳細(xì)的報告去構(gòu)造特殊的測試案例來提升覆蓋率。
最后解釋一下剛剛那句命令的含義:
這個參數(shù)用來控制生成的報告放到哪個目錄下 -cc_report E:/myreport1 后面的cover就是我們在設(shè)置界面所設(shè)置的名字 -cc_db cover 這個是生成的覆蓋率信息的路徑,我設(shè)置的./所以vivado生成到了sim目錄下 -cc_dir E:/fpga_image_sim/fpga_image_sim.sim/sim_1/behav/xsim/xsim.codeCov/
關(guān)于這個命令更多的信息可以參見:
審核編輯:湯梓紅
-
仿真
+關(guān)注
關(guān)注
50文章
4082瀏覽量
133604 -
命令
+關(guān)注
關(guān)注
5文章
684瀏覽量
22024 -
代碼
+關(guān)注
關(guān)注
30文章
4788瀏覽量
68611 -
Vivado
+關(guān)注
關(guān)注
19文章
812瀏覽量
66531
原文標(biāo)題:怎么用Vivado做覆蓋率分析
文章出處:【微信號:FPGA開源工坊,微信公眾號:FPGA開源工坊】歡迎添加關(guān)注!文章轉(zhuǎn)載請注明出處。
發(fā)布評論請先 登錄
相關(guān)推薦
評論