99精品伊人亚洲|最近国产中文炮友|九草在线视频支援|AV网站大全最新|美女黄片免费观看|国产精品资源视频|精彩无码视频一区|91大神在线后入|伊人终合在线播放|久草综合久久中文

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

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

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

一文詳解Modelsim代碼覆蓋率功能使用

電子設(shè)計(jì) ? 來源:FPGA技術(shù)聯(lián)盟 ? 作者:默宸 ? 2020-12-09 11:45 ? 次閱讀
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

作者:默宸

Modelsim代碼覆蓋率功能Code coverage,能報(bào)告出statement(語句)、branch(分支)、condition(條件)、expression(表達(dá))、toggle(信號翻轉(zhuǎn))、fsm(有限狀態(tài)機(jī))等多種覆蓋率情況。

1、編譯選項(xiàng)(compile option):

在Modelsim的Workspace里選中需要查看代碼覆蓋率的文件,然后點(diǎn)擊右鍵選擇compile—>compile properties,如下圖所示。

之后選擇“Coverage”選項(xiàng),出現(xiàn)下圖所示的窗口,根據(jù)需要選擇選項(xiàng),這里選statement、branch、condition、expression和toggle。選完點(diǎn)ok。

2、編譯(compile)

點(diǎn)工具欄中的,編譯所有的選中的文件,成功后進(jìn)行下面的步驟。

3、仿真(simulate)

點(diǎn)工具欄中的,出現(xiàn)下面的窗口:

(注:不要選擇“Enable optimization”)

選擇Others,出現(xiàn)如下圖所示的窗口:

選擇“Enable code coverage”后點(diǎn)“ok”后出現(xiàn)下面的窗口:

4、觀察結(jié)果

完成以上操作后,代碼覆蓋率的窗口就出現(xiàn)了,點(diǎn)擊(run –all)之后代碼覆蓋率的情況就出現(xiàn)在各窗口中。

下面介紹各子窗口:

(1)Workspace窗口

在workspace窗口選擇Files標(biāo)簽頁并拖動滾動條到右側(cè),設(shè)計(jì)的每個文件顯示了語句、分支、條件和表達(dá)式等語句的執(zhí)行覆蓋率匯總統(tǒng)計(jì)信息。

在workspace窗口選擇Files標(biāo)簽頁并拖動滾動條到右側(cè),本窗口將以設(shè)計(jì)中的每一條目來顯示執(zhí)行覆蓋統(tǒng)計(jì)。

(2)Missed Coverage(未覆蓋到對象列表窗)窗口
本窗口用于顯示所選擇文件未被執(zhí)行的語句、分支、條件、表達(dá)式或未翻轉(zhuǎn)過的信號。

在workspace窗口的Files標(biāo)簽頁中選擇不同的文件,Missed Coverage窗口的顯示會隨著選擇的文件而更新。

上圖為分支覆蓋率的情況

上圖為statement coverage(語句覆蓋率)的情況。此時選擇任何一個實(shí)體在源代碼窗口中顯示相應(yīng)的行,設(shè)計(jì)如果包含為被執(zhí)行的語句或分支的行,則被粉紅色高亮顯示,如下圖。圖中包含了Hits 和BC 欄用來顯示語句執(zhí)行(statement Hits)和分支覆蓋(BC)的情況。

如下圖所示,在主窗口菜單欄選擇Tool—>Code Coverage—>Show coverage number.

Hits和BC 欄中的每一行圖標(biāo)將會被數(shù)字代替,這些數(shù)字代表了該語句或分支被執(zhí)行的次數(shù)。

下表描述了個圖標(biāo)的含義:

pIYBAF9uDnKAOu80AABaDdAm_SU899.png

(3)Current Exclusion(當(dāng)前不做覆蓋率統(tǒng)計(jì)列表窗)

本窗口用于列出所指定的不進(jìn)行覆蓋統(tǒng)計(jì)的所有文件和行。

3.1 設(shè)置排出文件

如圖,右擊所選中的項(xiàng),按圖所示操作,

操作完后,在Current Exclusion窗口就會出現(xiàn)被排除的文件,同時源代碼窗口的Hits欄的一些行會出現(xiàn),表明這些行不做代碼覆蓋統(tǒng)計(jì)。

在Current Exclusion窗口中右擊需要取消排除設(shè)置的文件,選擇Cancel Selected Exclusions,恢復(fù)成原狀,可以做代碼覆蓋率。

3.2 設(shè)置排出行

如圖,在源代碼窗口右擊Hits欄中需要排除行的圖標(biāo),圖中為105行,選擇第一個選項(xiàng)。

之后,在Current Exclusion窗口會顯示出被排除的行信息,同時在源代碼窗口,被排除行的Hits欄會出現(xiàn),表明該行不做代碼覆蓋統(tǒng)計(jì)。

o4YBAF9uDoCAAbTBAAHnxVaqGE8498.png

取消排除行操作同上。

(4)Details(詳細(xì)資料窗)窗口:

本窗口顯示了如真值表或翻轉(zhuǎn)細(xì)節(jié)等詳細(xì)的未被覆蓋到的情況。

當(dāng)在Missed Coverage窗口中選擇一行,可以在Details窗口中查看相應(yīng)的詳細(xì)信息,如下圖:

(5)Instance Coverage(實(shí)例覆蓋列表窗)

本窗口顯示了每個實(shí)例的覆蓋統(tǒng)計(jì)。

(6)Objects Window(信號窗口)

在該窗口中可以查看狀態(tài)翻轉(zhuǎn)統(tǒng)計(jì),翻轉(zhuǎn)覆蓋統(tǒng)計(jì)了信號從一個狀態(tài)變換到另一個狀態(tài)的次數(shù)。

具體操作入下圖所示:

o4YBAF9uDoqAI0n3AAKlF_576mo203.png

上述操作完之后出現(xiàn)Objects窗口,這樣就可以查看每個信號翻轉(zhuǎn)的具體情況。

pIYBAF9uDoyABFCiAAJCLy3HNXI633.png

5、創(chuàng)建代碼覆蓋率報(bào)告
如下圖所示,在主窗口菜單欄選擇Tool—>Code Coverage—>Reports

o4YBAF9uDo-AXL5zAAMGhb8k8jc518.png

出現(xiàn)下圖所示的子窗口(報(bào)告設(shè)置窗口),根據(jù)需求設(shè)置各選項(xiàng)和報(bào)告存放路徑。

點(diǎn)ok后即可查看Code Coverage Report:

o4YBAF9uDpSAWK9OAAHksFnniZc496.png

編輯:hfy


聲明:本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀點(diǎn)僅代表作者本人,不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學(xué)習(xí)之用,如有內(nèi)容侵權(quán)或者其他違規(guī)問題,請聯(lián)系本站處理。 舉報(bào)投訴
  • ModelSim
    +關(guān)注

    關(guān)注

    5

    文章

    174

    瀏覽量

    48119
  • 代碼
    +關(guān)注

    關(guān)注

    30

    文章

    4900

    瀏覽量

    70729
收藏 人收藏
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

    評論

    相關(guān)推薦
    熱點(diǎn)推薦

    HarmonyOS AI輔助編程工具(CodeGenie)代碼測試

    功能從DevEco Studio 5.1.0 Release版本開始支持。 根據(jù)選中的ArkTS方法名稱,CodeGenie支持自動生成對應(yīng)單元測試用例,提升測試覆蓋率。 在ArkTS文檔中,光標(biāo)
    發(fā)表于 07-14 17:33

    新思科技VSO.ai如何顛覆芯片驗(yàn)證

    隨著片上系統(tǒng)(SoC)復(fù)雜性不斷增加,IP的復(fù)雜性與驗(yàn)證難度以及用于驗(yàn)證的VIP的開發(fā)要求也日益提高。不斷發(fā)展的協(xié)議標(biāo)準(zhǔn)要求為IP和VIP提供動態(tài)測試套件,并滿足規(guī)定的功能代碼覆蓋率指標(biāo)。
    的頭像 發(fā)表于 05-21 14:49 ?406次閱讀
    新思科技VSO.ai如何顛覆芯片驗(yàn)證

    【必看】開關(guān)電源中每個元器件的計(jì)算+51頁圖文詳解

    開關(guān)電源的各個元器件怎么計(jì)算?損耗怎么估算?散熱器的大小怎么計(jì)算? 51頁圖文詳解帶你弄懂! 純分享貼,有需要可以直接下載附件獲取完整資料! (如果內(nèi)容有幫助可以關(guān)注、點(diǎn)贊、評論支持
    發(fā)表于 05-12 16:20

    智能駕駛域控測試革命:實(shí)現(xiàn)99.99% 功能安全的中國方案!

    行業(yè)警報(bào):域控系統(tǒng)為何需要 "零缺陷" 驗(yàn)證?在 L3 + 自動駕駛時代,域控系統(tǒng)作為車輛 "大腦",其功能安全直接關(guān)乎生命安全。根據(jù) ISO 26262 標(biāo)準(zhǔn),功能安全驗(yàn)證覆蓋率必須達(dá)到 99.99%,否則可能引發(fā):
    的頭像 發(fā)表于 03-31 13:39 ?1174次閱讀
    智能駕駛域控測試革命:實(shí)現(xiàn)99.99% <b class='flag-5'>功能</b>安全的中國方案!

    DAC的采樣是指的什么呢?

    DAC的采樣是什么意思? 我記得ADC才會有采樣說,那DAC的采樣是指的什么呢?請詳解,謝謝
    發(fā)表于 12-19 07:19

    十幾種格力空調(diào)故障代碼詳解

    十幾種格力空調(diào)故障代碼詳解,查表目了然
    發(fā)表于 11-27 15:15 ?0次下載

    Google AI Edge Torch的特性詳解

    我們很高興地發(fā)布 Google AI Edge Torch,可將 PyTorch 編寫的模型直接轉(zhuǎn)換成 TFLite 格式 (.tflite),且有著優(yōu)異的模型覆蓋率和 CPU 性能。TFLite
    的頭像 發(fā)表于 11-06 10:48 ?942次閱讀
    Google AI Edge Torch的特性<b class='flag-5'>詳解</b>

    智慧公交是什么?帶你詳解智慧公交的解決方案!

    智慧公交是什么?帶你詳解智慧公交的解決方案!
    的頭像 發(fā)表于 11-05 12:26 ?966次閱讀
    智慧公交是什么?<b class='flag-5'>一</b><b class='flag-5'>文</b>帶你<b class='flag-5'>詳解</b>智慧公交的解決方案!

    帶你了解透過測量

    透過的定義光透過能力,即透光,描述的是特定條件下,物體透過的光量與其接收的入射光量之間的比例。在光的傳播過程中,部分光線會被物體吸收,而另部分則能夠穿透物體,這種透過現(xiàn)象被稱作透光
    的頭像 發(fā)表于 11-04 13:00 ?799次閱讀
    <b class='flag-5'>一</b><b class='flag-5'>文</b>帶你了解透過<b class='flag-5'>率</b>測量

    CPK為什么要大于1.33?詳解CPK計(jì)算

    原文標(biāo)題:CPK為什么要大于1.33?詳解CPK計(jì)算
    的頭像 發(fā)表于 11-01 11:08 ?1167次閱讀

    使用modelsim時的問題分析

    仿真對于FPGA設(shè)計(jì)來說至關(guān)重要,我們經(jīng)常使用modelsim來進(jìn)行功能仿真或者時序仿真,這樣就需要將modelsim和設(shè)計(jì)軟件(quartus ii)聯(lián)系起來,下面是設(shè)計(jì)者在使用models
    的頭像 發(fā)表于 10-24 18:15 ?1747次閱讀
    使用<b class='flag-5'>modelsim</b>時的問題分析

    synopsys 的design ware:DW_fpv_div,浮點(diǎn)數(shù)除法器,默認(rèn)32位下,想提升覆蓋率(TMAX),如果用功能case去提升覆蓋率呢?

    公司某個項(xiàng)目用到了這個DW:DW_fpv_div,但是scan跑完,這個模塊覆蓋率只有60%多,現(xiàn)在要我用TMAX軟件,通過功能覆蓋,我看了下rpt報(bào)的faults點(diǎn),嘗試去寫了幾個特殊值去做除法
    發(fā)表于 10-15 18:38

    利用靜態(tài)檢查工具完善功能安全中測試覆蓋率

    功能安全中測試覆蓋率是比較重要的概念,也是在驗(yàn)證過程中通常需要花費(fèi)時間較多的步驟,如果能借助于靜態(tài)檢查工具的死邏輯查找和聲明、測試用例自動補(bǔ)全等功能往往能取得事半功倍的效果。
    的頭像 發(fā)表于 09-05 09:15 ?834次閱讀
    利用靜態(tài)檢查工具完善<b class='flag-5'>功能</b>安全中測試<b class='flag-5'>覆蓋率</b>

    讀懂新能源汽車的功能安全

    電子發(fā)燒友網(wǎng)站提供《讀懂新能源汽車的功能安全.pdf》資料免費(fèi)下載
    發(fā)表于 09-04 09:22 ?3次下載

    2025年智能水表將覆蓋全北京!超聲波測量技術(shù)助力智能水表實(shí)現(xiàn)全天候高精度流量監(jiān)測

    北京日報(bào)報(bào)道,預(yù)計(jì)到“十四五”規(guī)劃期末,北京市將基本實(shí)現(xiàn)智能遠(yuǎn)傳水表的全覆蓋。據(jù)2023年3月22日的數(shù)據(jù)顯示,北京市自來水集團(tuán)已經(jīng)為用戶安裝了超過330萬支智能遠(yuǎn)傳水表,覆蓋率超過了50%。
    的頭像 發(fā)表于 07-19 16:05 ?1237次閱讀
    2025年智能水表將<b class='flag-5'>覆蓋</b>全北京!超聲波測量技術(shù)助力智能水表實(shí)現(xiàn)全天候高精度流量監(jiān)測