91欧美超碰AV自拍|国产成年人性爱视频免费看|亚洲 日韩 欧美一厂二区入|人人看人人爽人人操aV|丝袜美腿视频一区二区在线看|人人操人人爽人人爱|婷婷五月天超碰|97色色欧美亚州A√|另类A√无码精品一级av|欧美特级日韩特级

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

完善資料讓更多小伙伴認(rèn)識(shí)你,還能領(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(信號(hào)翻轉(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)簽頁(yè)并拖動(dòng)滾動(dòng)條到右側(cè),設(shè)計(jì)的每個(gè)文件顯示了語句、分支、條件和表達(dá)式等語句的執(zhí)行覆蓋率匯總統(tǒng)計(jì)信息。

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

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

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

上圖為分支覆蓋率的情況

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

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

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

下表描述了個(gè)圖標(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窗口就會(huì)出現(xiàn)被排除的文件,同時(shí)源代碼窗口的Hits欄的一些行會(huì)出現(xiàn),表明這些行不做代碼覆蓋統(tǒng)計(jì)。

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

3.2 設(shè)置排出行

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

之后,在Current Exclusion窗口會(huì)顯示出被排除的行信息,同時(shí)在源代碼窗口,被排除行的Hits欄會(huì)出現(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í)例覆蓋列表窗)

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

(6)Objects Window(信號(hào)窗口)

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

具體操作入下圖所示:

o4YBAF9uDoqAI0n3AAKlF_576mo203.png

上述操作完之后出現(xiàn)Objects窗口,這樣就可以查看每個(gè)信號(hào)翻轉(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)立場(chǎng)。文章及其配圖僅供工程師學(xué)習(xí)之用,如有內(nèi)容侵權(quán)或者其他違規(guī)問題,請(qǐng)聯(lián)系本站處理。 舉報(bào)投訴
  • ModelSim
    +關(guān)注

    關(guān)注

    5

    文章

    175

    瀏覽量

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

    關(guān)注

    30

    文章

    4968

    瀏覽量

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

掃碼添加小助手

加入工程師交流群

    評(píng)論

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

    半導(dǎo)體嵌入式單元測(cè)試的核心技術(shù)、工具選型與落地全流程

    測(cè)試用例庫(kù),提高測(cè)試用例的復(fù)用性和有效性。同時(shí),要加強(qiáng)與需求管理工具的集成,實(shí)現(xiàn)需求、測(cè)試用例、代碼覆蓋率數(shù)據(jù)之間的雙向追溯。此外,還可以引入AI輔助測(cè)試,利用winAMS的智能化測(cè)試用例生成功能
    發(fā)表于 03-06 14:55

    嵌入式軟件單元測(cè)試必要性與專業(yè)工具重要性的系統(tǒng)性專業(yè)研究報(bào)告

    FAA/TüV認(rèn)證審查 “你手寫個(gè)測(cè)試用例,能自動(dòng)生成符合DO-178C附錄D要求的、帶需求ID、測(cè)試ID、覆蓋率熱力圖、失敗日志的PDF報(bào)告嗎?答案是:不能?!?—— TüV SüD功能安全認(rèn)證官
    發(fā)表于 03-05 10:41

    海爾智家借助MATLAB技術(shù)提高測(cè)試覆蓋率

    20,000 行。這會(huì)增加錯(cuò)誤出現(xiàn)的概率。此外,它還會(huì)導(dǎo)致調(diào)試周期長(zhǎng)、測(cè)試覆蓋率低和效率低下等問題,從而影響項(xiàng)目期限。
    的頭像 發(fā)表于 02-25 11:14 ?404次閱讀
    海爾智家借助MATLAB技術(shù)提高測(cè)試<b class='flag-5'>覆蓋率</b>

    芯片測(cè)試覆蓋率99%就夠了嗎?給DFT設(shè)計(jì)提個(gè)醒

    芯片測(cè)試的目標(biāo)是在合理時(shí)間內(nèi)篩選出所有制造缺陷。測(cè)試覆蓋率是衡量測(cè)試完備性的核心指標(biāo),但實(shí)踐中常存在誤區(qū)。本文探討如何有效評(píng)估覆蓋率,并將其反饋至芯片設(shè)計(jì)階段。、測(cè)試覆蓋率的真實(shí)含義
    發(fā)表于 02-06 11:06

    汽車軟件質(zhì)量躍遷的系統(tǒng)性路徑:基于ISO 26262標(biāo)準(zhǔn)的單元測(cè)試體系重構(gòu)與中日實(shí)踐深度對(duì)比(2026學(xué)術(shù)研究報(bào)告)

    單元測(cè)試 集成后補(bǔ)測(cè),30%模塊無覆蓋 覆蓋率目標(biāo) ASIL-D: ≥95%(2025年平均93.5%) ASIL-D:平均38%(頭部企業(yè)≤50%) 管理認(rèn)知 質(zhì)量總監(jiān)具代碼否決權(quán) 項(xiàng)目經(jīng)理以交付
    發(fā)表于 01-05 14:58

    C語言單元測(cè)試在嵌入式軟件開發(fā)中的作用及專業(yè)工具的應(yīng)用

    ADAS控制器開發(fā)中,利用winAMS對(duì)CAN通信模塊進(jìn)行測(cè)試。傳統(tǒng)方法需搭建完整的CANoe仿真環(huán)境,耗時(shí)2周;而winAMS直接基于目標(biāo)機(jī)代碼運(yùn)行,3天內(nèi)即完成覆蓋率達(dá)95%的測(cè)試,且成功捕捉到個(gè)
    發(fā)表于 12-18 11:46

    單片機(jī)開發(fā)功能安全中編譯器

    的。出于這些原因,標(biāo)準(zhǔn)要求應(yīng)用防御性編碼,可測(cè)試的編碼,有可能整理足夠的編碼覆蓋率代碼還必須實(shí)現(xiàn)高級(jí)別的代碼覆蓋率,在某些領(lǐng)域(尤其是汽車領(lǐng)域),設(shè)計(jì)通常需要復(fù)雜的外部診斷,校準(zhǔn)
    發(fā)表于 12-01 06:44

    【產(chǎn)品介紹】Questa One Sim軟件

    優(yōu)勢(shì)與平臺(tái)支持優(yōu)勢(shì)行業(yè)領(lǐng)先的高性能多語言仿真器用于可測(cè)性設(shè)計(jì)(DFT)向量驗(yàn)證的最快仿真器高性能、高容量的集成調(diào)試環(huán)境覆蓋率加速功能,助力更快實(shí)現(xiàn)覆蓋率收斂智能編譯(SmartCompile)和多核
    的頭像 發(fā)表于 11-17 10:39 ?826次閱讀
    【產(chǎn)品介紹】Questa One Sim軟件

    【產(chǎn)品介紹】Modelsim:HDL語言仿真軟件

    概述ModelSim是業(yè)界最優(yōu)秀的HDL語言仿真軟件,它能提供友好的仿真環(huán)境,是業(yè)界唯的單內(nèi)核支持VHDL和Verilog混合仿真的仿真器。它采用直接優(yōu)化的編譯技術(shù)、Tcl/Tk技術(shù)、和單內(nèi)核
    的頭像 發(fā)表于 11-13 11:41 ?512次閱讀
    【產(chǎn)品介紹】<b class='flag-5'>Modelsim</b>:HDL語言仿真軟件

    HarmonyOSAI編程單元測(cè)試用例

    根據(jù)選中的ArkTS方法名稱,CodeGenie支持自動(dòng)生成對(duì)應(yīng)單元測(cè)試用例,提升測(cè)試覆蓋率。 在ArkTS文檔中,光標(biāo)放置于方法名稱上或框選完整的待測(cè)試方法代碼塊,右鍵選擇CodeGenie
    發(fā)表于 08-27 14:33

    太陽光模擬器關(guān)鍵參數(shù) | 光譜匹配度、光譜覆蓋率及光譜偏離

    太陽光模擬器作為模擬太陽輻射環(huán)境的核心設(shè)備,其性能直接關(guān)系到諸多領(lǐng)域?qū)嶒?yàn)數(shù)據(jù)的可靠性。光譜匹配度(SMD)、光譜覆蓋率(SPC)和光譜偏離(SPD)作為評(píng)估其性能的關(guān)鍵指標(biāo),從不同維度決定了模擬
    的頭像 發(fā)表于 07-24 11:26 ?1140次閱讀
    太陽光模擬器關(guān)鍵參數(shù) | 光譜匹配度、光譜<b class='flag-5'>覆蓋率</b>及光譜偏離<b class='flag-5'>率</b>

    太陽光模擬器性能的影響參數(shù):光譜匹配度、光譜覆蓋率及光譜偏離

    的性能評(píng)估從單的光譜匹配度,拓展至光譜匹配度、光譜覆蓋率與光譜偏離的多維協(xié)同優(yōu)化。因此,在選擇太陽光模擬器時(shí),不能單關(guān)注某指標(biāo),而應(yīng)
    發(fā)表于 07-21 15:35

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

    功能從DevEco Studio 5.1.0 Release版本開始支持。 根據(jù)選中的ArkTS方法名稱,CodeGenie支持自動(dòng)生成對(duì)應(yīng)單元測(cè)試用例,提升測(cè)試覆蓋率。 在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提供動(dòng)態(tài)測(cè)試套件,并滿足規(guī)定的功能代碼覆蓋率指標(biāo)。
    的頭像 發(fā)表于 05-21 14:49 ?1345次閱讀
    新思科技VSO.ai如何顛覆芯片驗(yàn)證

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

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