18video性欧美19sex,欧美高清videosddfsexhd,性少妇videosexfreexxx片中国,激情五月激情综合五月看花,亚洲人成网77777色在线播放

0
  • 聊天消息
  • 系統(tǒ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(未覆蓋到對象列表窗)窗口
本窗口用于顯示所選擇文件未被執(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ī)問題,請聯(lián)系本站處理。 舉報(bào)投訴
  • ModelSim
    +關(guān)注

    關(guān)注

    5

    文章

    174

    瀏覽量

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

    關(guān)注

    30

    文章

    4927

    瀏覽量

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

掃碼添加小助手

加入工程師交流群

    評論

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

    嵌入式軟件測試與專業(yè)測試工具的必要性深度解析

    系統(tǒng)化解決方案,其必要性體現(xiàn)在多個(gè)維度:滿足行業(yè)合規(guī)要求汽車電子ISO 26262、航空DO-178C等標(biāo)準(zhǔn)強(qiáng)制要求代碼覆蓋率指標(biāo)達(dá)到C1(分支覆蓋)≥100%、MC/DC(修正條件判定覆蓋
    發(fā)表于 09-28 17:42

    干貨分享 | 功能安全常見疑難問題匯總

    場針對實(shí)操問題的線上答疑活動(dòng),我們分類整理了些熱門問題及解答,可作為大家日后實(shí)踐中的參考。干貨滿滿,仔細(xì)閱讀哦~關(guān)于功能安全機(jī)制及其診斷覆蓋率問題Q外狗從功能
    的頭像 發(fā)表于 09-05 16:21 ?1821次閱讀
    干貨分享 | <b class='flag-5'>功能</b>安全常見疑難問題匯總

    HarmonyOSAI編程單元測試用例

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

    FCT自動(dòng)測試設(shè)備:電路板性能檢測利器

    FCT自動(dòng)測試設(shè)備能夠?qū)崿F(xiàn)對電路板的功能自動(dòng)化測試,提高測試覆蓋率。設(shè)備通過預(yù)設(shè)的測試程序和自動(dòng)化操作流程,對電路板的各項(xiàng)功能和性能指標(biāo)進(jìn)行檢測和驗(yàn)證。例如,在通信設(shè)備的電路板測試中,F(xiàn)CT測試設(shè)備
    的頭像 發(fā)表于 08-07 16:35 ?923次閱讀
    FCT自動(dòng)測試設(shè)備:電路板性能檢測利器

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

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

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

    的性能評估從單的光譜匹配度,拓展至光譜匹配度、光譜覆蓋率與光譜偏離的多維協(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)生成對應(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 ?744次閱讀
    新思科技VSO.ai如何顛覆芯片驗(yàn)證

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

    開關(guān)電源的各個(gè)元器件怎么計(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 + 自動(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 ?1405次閱讀
    智能駕駛域控測試革命:實(shí)現(xiàn)99.99% <b class='flag-5'>功能</b>安全的中國方案!

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

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

    Google AI Edge Torch的特性詳解

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

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

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

    帶你了解透過測量

    透過的定義光透過能力,即透光,描述的是特定條件下,物體透過的光量與其接收的入射光量之間的比例。在光的傳播過程中,部分光線會(huì)被物體吸收,而另部分則能夠穿透物體,這種透過現(xiàn)象被稱作透光
    的頭像 發(fā)表于 11-04 13:00 ?1121次閱讀
    <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 ?1420次閱讀