亚洲激情专区-91九色丨porny丨老师-久久久久久久女国产乱让韩-国产精品午夜小视频观看

溫馨提示×

溫馨提示×

您好,登錄后才能下訂單哦!

密碼登錄×
登錄注冊×
其他方式登錄
點擊 登錄注冊 即表示同意《億速云用戶服務條款》

Linux下VCS覆蓋率檢查是什么

發布時間:2021-10-21 17:39:08 來源:億速云 閱讀:237 作者:柒染 欄目:互聯網科技

本篇文章為大家展示了Linux下VCS覆蓋率檢查是什么,內容簡明扼要并且容易理解,絕對能使你眼前一亮,通過這篇文章的詳細介紹希望你能有所收獲。

在一個芯片驗證的工程中,通常以代碼覆蓋率和功能覆蓋率來體現驗證是否完備,而代碼覆蓋率包括:行,狀態機,翻轉,條件,分支覆蓋率。為了保證驗證的充分性,我們要盡可能保證這五種類型的代碼覆蓋率達到100%。

行覆蓋率  line coverage 要求百分之99-100

狀態機覆蓋率 FSM coverage

條件覆蓋率 conditional coverage

翻轉覆蓋率 Toggle coverage :0->1 ,1->0

路徑覆蓋率 Path coverage :initial 和always里的語句

分支覆蓋率 branch coverage

-cm line+cond+fsm+branch+tgl為生成什么條件的覆蓋率

Makefile文件中覆蓋率腳本:

Linux下VCS覆蓋率檢查是什么

執行vcs

Linux下VCS覆蓋率檢查是什么

產生的.vdb文件為產生覆蓋率的信息

Linux下VCS覆蓋率檢查是什么

一步步cd進去可以看到coverage文件

Linux下VCS覆蓋率檢查是什么

下面進行覆蓋率查看,輸入如下命令 dve -covdir *.vdb &

Linux下VCS覆蓋率檢查是什么

彈出DVE界面,通過DVE查看覆蓋率(方法1)

Linux下VCS覆蓋率檢查是什么

雙擊tb_state 進入,可以看到代碼會有顏色標注,覆蓋到的為綠色,沒有覆蓋到的為紅色

Linux下VCS覆蓋率檢查是什么

Linux下VCS覆蓋率檢查是什么


Line coverage

Linux下VCS覆蓋率檢查是什么

Toggle coverage

Linux下VCS覆蓋率檢查是什么

FSM coverage

Linux下VCS覆蓋率檢查是什么

Condition coverage

Linux下VCS覆蓋率檢查是什么

Branch coverage

Linux下VCS覆蓋率檢查是什么


通過URG查看覆蓋率(方法2),可以以文本格式或者網頁格式顯示覆蓋率

Linux下VCS覆蓋率檢查是什么

點擊run,產生urgReport;

Linux下VCS覆蓋率檢查是什么

Linux下VCS覆蓋率檢查是什么


或者在命令欄urg -dir *.vdb &

Linux下VCS覆蓋率檢查是什么

ls之后可以看到urgReport,cd進去可以看到.html文件和 .xml文件

Linux下VCS覆蓋率檢查是什么

Linux下VCS覆蓋率檢查是什么

會顯示很詳細的覆蓋率報告

Linux下VCS覆蓋率檢查是什么

Tb文件:

Linux下VCS覆蓋率檢查是什么

Linux下VCS覆蓋率檢查是什么

Linux下VCS覆蓋率檢查是什么

Linux下VCS覆蓋率檢查是什么

Module文件

Linux下VCS覆蓋率檢查是什么

Linux下VCS覆蓋率檢查是什么

Linux下VCS覆蓋率檢查是什么

Linux下VCS覆蓋率檢查是什么

Linux下VCS覆蓋率檢查是什么

上述內容就是Linux下VCS覆蓋率檢查是什么,你們學到知識或技能了嗎?如果還想學到更多技能或者豐富自己的知識儲備,歡迎關注億速云行業資訊頻道。

向AI問一下細節

免責聲明:本站發布的內容(圖片、視頻和文字)以原創、轉載和分享為主,文章觀點不代表本網站立場,如果涉及侵權請聯系站長郵箱:is@yisu.com進行舉報,并提供相關證據,一經查實,將立刻刪除涉嫌侵權內容。

AI

苏尼特右旗| 和林格尔县| 迭部县| 泰来县| 白河县| 新平| 盱眙县| 雷州市| 新源县| 东源县| 南昌县| 车致| 桂林市| 七台河市| 平罗县| 阳江市| 怀柔区| 缙云县| 绥江县| 葵青区| 鄂托克旗| 柞水县| 丰原市| 珲春市| 龙山县| 双柏县| 井陉县| 瑞昌市| 普陀区| 怀来县| 青铜峡市| 酒泉市| 平利县| 南充市| 雷州市| 宜都市| 铜陵市| 乌什县| 东平县| 博野县| 沅陵县|