您好,登錄后才能下訂單哦!
本篇文章為大家展示了Linux下VCS覆蓋率檢查是什么,內容簡明扼要并且容易理解,絕對能使你眼前一亮,通過這篇文章的詳細介紹希望你能有所收獲。
行覆蓋率 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文件中覆蓋率腳本:
執行vcs
產生的.vdb文件為產生覆蓋率的信息
一步步cd進去可以看到coverage文件
下面進行覆蓋率查看,輸入如下命令 dve -covdir *.vdb &
彈出DVE界面,通過DVE查看覆蓋率(方法1)
雙擊tb_state 進入,可以看到代碼會有顏色標注,覆蓋到的為綠色,沒有覆蓋到的為紅色
Line coverage
Toggle coverage
FSM coverage
Condition coverage
Branch coverage
通過URG查看覆蓋率(方法2),可以以文本格式或者網頁格式顯示覆蓋率
點擊run,產生urgReport;
或者在命令欄urg -dir *.vdb &
ls之后可以看到urgReport,cd進去可以看到.html文件和 .xml文件
會顯示很詳細的覆蓋率報告
Tb文件:
Module文件
上述內容就是Linux下VCS覆蓋率檢查是什么,你們學到知識或技能了嗎?如果還想學到更多技能或者豐富自己的知識儲備,歡迎關注億速云行業資訊頻道。
免責聲明:本站發布的內容(圖片、視頻和文字)以原創、轉載和分享為主,文章觀點不代表本網站立場,如果涉及侵權請聯系站長郵箱:is@yisu.com進行舉報,并提供相關證據,一經查實,將立刻刪除涉嫌侵權內容。