0
  • 聊天消息
  • 系統(tǒng)消息
  • 評論與回復(fù)
登錄后你可以
  • 下載海量資料
  • 學(xué)習(xí)在線課程
  • 觀看技術(shù)視頻
  • 寫文章/發(fā)帖/加入社區(qū)
會員中心
創(chuàng)作中心

完善資料讓更多小伙伴認(rèn)識你,還能領(lǐng)取20積分哦,立即完善>

3天內(nèi)不再提示

怎么用Vivado做覆蓋率分析

FPGA開源工坊 ? 來源:FPGA開源工坊 ? 2024-01-03 12:34 ? 次閱讀

在做仿真的時候往往會去做代碼覆蓋率和功能覆蓋率的分析,來保證仿真是做的比較充分完備的。

在Vivado里面也支持我們做這項操作,現(xiàn)在就來看一下流程吧。

第一步:選擇設(shè)置

58af3c34-a9ed-11ee-8b88-92fbcf53809c.png

第二步:在仿真選項里面依次找到下面的設(shè)置選項,默認(rèn)vivado是沒有打開覆蓋率分析這個選項的。

58c1b9e0-a9ed-11ee-8b88-92fbcf53809c.png

第三步:做如下設(shè)置,其中cover是我們想要設(shè)置的覆蓋率的名字,這個可以自己設(shè)置,./是覆蓋率信息放置的位置,這兩項都可以根據(jù)自己的使用來設(shè)置。sbct是設(shè)置想要收集哪些覆蓋率信息,s是行覆蓋率,b是分支覆蓋率,c的條件覆蓋率,t是翻轉(zhuǎn)覆蓋率。設(shè)置完成之后點擊Apply保存設(shè)置就可以了。這樣在我們仿真的時候就會進(jìn)行覆蓋率的收集了。

59b1a798-a9ed-11ee-8b88-92fbcf53809c.png

第四步:點擊仿真,跑一個測試用例

然后就可以看到在對應(yīng)的仿真目錄下生成一個xsim.codeCov的目錄,因為我設(shè)置的./所以生成的信息放在了這個目錄下。

59cd980e-a9ed-11ee-8b88-92fbcf53809c.png

點進(jìn)去的話,會發(fā)現(xiàn)是一個xsim.CCInfo文件,之后就需要我們處理一下,把他變成可讀的html文件。

59e0e9e0-a9ed-11ee-8b88-92fbcf53809c.png

第五步:在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)的報告

59f44e22-a9ed-11ee-8b88-92fbcf53809c.png

生成的報告:

5a04a79a-a9ed-11ee-8b88-92fbcf53809c.png

然后點擊dashboard.html查看報告。

5a22b7b2-a9ed-11ee-8b88-92fbcf53809c.png

就可以看到相應(yīng)的報告了,我仿真就跑了很短的時間所以覆蓋率很低。

并且我們可以按模塊來查看相應(yīng)的報告

5a331cba-a9ed-11ee-8b88-92fbcf53809c.png

每個模塊內(nèi)部的報告也可以看到:

5a4cec3a-a9ed-11ee-8b88-92fbcf53809c.png

然后可以根據(jù)詳細(xì)的報告去構(gòu)造特殊的測試案例來提升覆蓋率。

5a6570b6-a9ed-11ee-8b88-92fbcf53809c.png

最后解釋一下剛剛那句命令的含義:

這個參數(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)于這個命令更多的信息可以參見:

5a788fde-a9ed-11ee-8b88-92fbcf53809c.png

審核編輯:湯梓紅

聲明:本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀點僅代表作者本人,不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學(xué)習(xí)之用,如有內(nèi)容侵權(quán)或者其他違規(guī)問題,請聯(liá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)載請注明出處。

收藏 人收藏

    評論

    相關(guān)推薦

    為什么覆蓋率分析師沒有證明電阻器已經(jīng)過測試?

    您好,我對Coverage Analyst有疑問。我使用的是Coverage Analyst版本5.21p。覆蓋率分析師完成覆蓋率報告確定(html文件),但我對報告中顯示的結(jié)果有疑問: -
    發(fā)表于 01-07 16:06

    如何改善5G覆蓋率?

    改善5G覆蓋率的方法
    發(fā)表于 12-15 07:52

    如何提高DFT設(shè)計測試覆蓋率?

    提高DFT設(shè)計測試覆蓋率的有效方法是什么
    發(fā)表于 05-07 06:37

    怎么提高非隨機(jī)圖形設(shè)計的故障覆蓋率?

    怎么提高非隨機(jī)圖形設(shè)計的故障覆蓋率?為LBIST設(shè)計提高故障檢測能力的技術(shù)是什么?
    發(fā)表于 05-08 07:11

    嵌入式仿真平臺SkyEye的覆蓋率分析相關(guān)資料下載

    代碼執(zhí)娜行覆蓋情況的功能,來檢測代碼中未執(zhí)行覆蓋情況。在覆蓋率分析時需要分析嵌入式軟件的指令覆蓋率
    發(fā)表于 12-17 07:27

    重點厘清覆蓋率相關(guān)的概念以及在芯片開發(fā)流程中跟覆蓋率相關(guān)的事項

    有誤;更多的分析可以得出更詳細(xì)的結(jié)論。下面會對這兩種覆蓋率分別展開闡述,最后再補充一下例通過(Pass rate)和計劃覆蓋率(Plan
    發(fā)表于 09-14 11:57

    Systemverilog覆蓋率的合并和計算方式

      在systemverilog中,對于一個covergroup來說,可能會有多個instance,我們可能需要對這些instance覆蓋率進(jìn)行操作。  只保存covergroup type的覆蓋率
    發(fā)表于 03-21 14:24

    Verilog代碼覆蓋率檢查

    Verilog代碼覆蓋率檢查是檢查驗證工作是否完全的重要方法,代碼覆蓋率(codecoverge)可以指示Verilog代碼描述的功能有多少在仿真過程中被驗證過了,代碼覆蓋率分析包括以
    發(fā)表于 04-29 12:35 ?8430次閱讀

    IP開發(fā)時如何考慮復(fù)用覆蓋率

    如何在開發(fā)IP的同時去鞏固集成和復(fù)用覆蓋率?IP的某些功能和性能是可以配置的,需要考慮的是IP被各種合理配置后的工作是否都能夠正常,將功能覆蓋率先整理為層次化的抽象功能覆蓋率模型,稱之為cover model。
    的頭像 發(fā)表于 02-18 12:08 ?2624次閱讀

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

    代碼覆蓋率是衡量軟件測試完成情況的指標(biāo),通常基于測試過程中已檢查的程序源代碼比例計算得出。代碼覆蓋率可以有效避免包含未測試代碼的程序被發(fā)布。 1. 問題背景 代碼覆蓋(Code coverage
    的頭像 發(fā)表于 01-06 15:06 ?3169次閱讀
    嵌入式代碼<b class='flag-5'>覆蓋率</b>統(tǒng)計方法和經(jīng)驗

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

    代碼覆蓋率是衡量軟件測試完成情況的指標(biāo),通?;跍y試過程中已檢查的程序源代碼比例計算得出。代碼覆蓋率可以有效避免包含未測試代碼的程序被發(fā)布。 1. 問題背景 代碼覆蓋(Code coverage
    的頭像 發(fā)表于 03-29 11:58 ?1954次閱讀
    統(tǒng)計嵌入式代碼<b class='flag-5'>覆蓋率</b>的方法和經(jīng)驗

    怎么才能寫出高覆蓋率的Verilog代碼?

    芯片前端工程中,測試驗證的核心理念:以提高覆蓋率為核心。設(shè)計工程師需要關(guān)心的主要有行覆蓋率(Block),條件覆蓋率(Expression),翻轉(zhuǎn)覆蓋率(Toggle),狀態(tài)機(jī)
    的頭像 發(fā)表于 06-01 10:13 ?2630次閱讀

    覆蓋率的Verilog代碼的編寫技巧

    設(shè)計工程師需要關(guān)心的主要有行覆蓋率(Block),條件覆蓋率(Expression),翻轉(zhuǎn)覆蓋率(Toggle),狀態(tài)機(jī)覆蓋率。本文從ASIC設(shè)計的角度上來討論,如何寫出高
    的頭像 發(fā)表于 05-26 17:30 ?4283次閱讀

    Vivado仿真器和代碼覆蓋率簡析

    編寫 HDL 通常是 FPGA 開發(fā)中耗時最少的部分,最具挑戰(zhàn)性和最耗時的部分可能是驗證。根據(jù)最終應(yīng)用程序,驗證可能非常簡單,也可能非常復(fù)雜,簡單的話只需對大多數(shù)功能進(jìn)行檢查或執(zhí)行完全獨立開發(fā)的測試平臺來演示功能和代碼覆蓋率。
    的頭像 發(fā)表于 08-03 09:23 ?2015次閱讀
    <b class='flag-5'>Vivado</b>仿真器和代碼<b class='flag-5'>覆蓋率</b>簡析

    代碼覆蓋率記錄

    為確保具體的產(chǎn)品(例如,醫(yī)療或航空電子市場)質(zhì)量合格, 通常需要提供語句覆蓋與判定覆蓋認(rèn)證證明。對于各種嵌 入式系統(tǒng),規(guī)范要求高度優(yōu)化的代碼需要實時測試。禁止 代碼插裝和運行時篡改。勞特巴赫代碼覆蓋率測試系統(tǒng)為 客戶提供
    發(fā)表于 11-03 11:02 ?0次下載
    代碼<b class='flag-5'>覆蓋率</b>記錄