chinese直男口爆体育生外卖, 99久久er热在这里只有精品99, 又色又爽又黄18禁美女裸身无遮挡, gogogo高清免费观看日本电视,私密按摩师高清版在线,人妻视频毛茸茸,91论坛 兴趣闲谈,欧美 亚洲 精品 8区,国产精品久久久久精品免费

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)簽頁并拖動(dòng)滾動(dòng)條到右側(cè),設(shè)計(jì)的每個(gè)文件顯示了語句、分支、條件和表達(dá)式等語句的執(zhí)行覆蓋率匯總統(tǒng)計(jì)信息。

在workspace窗口選擇Files標(biāo)簽頁并拖動(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)簽頁中選擇不同的文件,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)立場。文章及其配圖僅供工程師學(xué)習(xí)之用,如有內(nèi)容侵權(quán)或者其他違規(guī)問題,請(qǐng)聯(lián)系本站處理。 舉報(bào)投訴
  • ModelSim
    +關(guān)注

    關(guān)注

    5

    文章

    175

    瀏覽量

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

    關(guān)注

    30

    文章

    4975

    瀏覽量

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

掃碼添加小助手

加入工程師交流群

    評(píng)論

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

    TESSY v5.1 新功能詳解 :引入 Hyper Coverage 與基于變更的測試,大幅縮短 CI 測試時(shí)間

    在嵌入式 C/C++ 軟件開發(fā)中,CI/CD 流水線回歸測試耗時(shí)長、復(fù)雜代碼變體的覆蓋率難以完整統(tǒng)計(jì),是許多測試團(tuán)隊(duì)面臨的真實(shí)挑戰(zhàn)。自動(dòng)化單元測試與集成測試工具 TESSY v5.1 針對(duì)這些核心測試痛點(diǎn)推出了多項(xiàng)實(shí)用更新。
    的頭像 發(fā)表于 04-03 10:29 ?298次閱讀
    TESSY v5.1 新<b class='flag-5'>功能</b><b class='flag-5'>詳解</b> :引入 Hyper Coverage 與基于變更的測試,大幅縮短 CI 測試時(shí)間

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

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

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

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

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

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

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

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

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

    單元測試 集成后補(bǔ)測,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語言單元測試在嵌入式軟件開發(fā)中的作用及專業(yè)工具的應(yīng)用

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

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

    的。出于這些原因,標(biāo)準(zhǔn)要求應(yīng)用防御性編碼,可測試的編碼,有可能整理足夠的編碼覆蓋率, 代碼還必須實(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)勢與平臺(tái)支持優(yōu)勢行業(yè)領(lǐng)先的高性能多語言仿真器用于可測性設(shè)計(jì)(DFT)向量驗(yàn)證的最快仿真器高性能、高容量的集成調(diào)試環(huán)境覆蓋率加速功能,助力更快實(shí)現(xiàn)覆蓋率收斂智能編譯(SmartCompile)和多核
    的頭像 發(fā)表于 11-17 10:39 ?1225次閱讀
    【產(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 ?656次閱讀
    【產(chǎn)品介紹】<b class='flag-5'>Modelsim</b>:HDL語言仿真軟件

    HarmonyOSAI編程單元測試用例

    根據(jù)選中的ArkTS方法名稱,CodeGenie支持自動(dòng)生成對(duì)應(yīng)單元測試用例,提升測試覆蓋率。 在ArkTS文檔中,光標(biāo)放置于方法名稱上或框選完整的待測試方法代碼塊,右鍵選擇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 ?1279次閱讀
    太陽光模擬器關(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)代碼測試

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