91超碰碰碰碰久久久久久综合_超碰av人澡人澡人澡人澡人掠_国产黄大片在线观看画质优化_txt小说免费全本

溫馨提示×

溫馨提示×

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

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

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

天水市| 德保县| 荥阳市| 五峰| 崇明县| 彰武县| 梓潼县| 江油市| 罗江县| 舞钢市| 弋阳县| 肇州县| 行唐县| 改则县| 驻马店市| 云梦县| 正镶白旗| 荃湾区| 即墨市| 黎平县| 健康| 雷波县| 当雄县| 大兴区| 杭锦后旗| 通榆县| 莫力| 阿图什市| 邳州市| 鹰潭市| 横峰县| 五河县| 玉环县| 桦川县| 察哈| 密云县| 古蔺县| 桂阳县| 威海市| 满洲里市| 台中市|