溫馨提示×
您好，登錄后才能下訂單哦！
點擊 登錄注冊 即表示同意《億速云用戶服務(wù)條款》
您好，登錄后才能下訂單哦！
本篇文章為大家展示了Linux下VCS覆蓋率檢查是什么，內(nèi)容簡明扼要并且容易理解，絕對能使你眼前一亮，通過這篇文章的詳細介紹希望你能有所收獲。
行覆蓋率 line coverage 要求百分之99-100
狀態(tài)機覆蓋率 FSM coverage
條件覆蓋率 conditional coverage
翻轉(zhuǎn)覆蓋率 Toggle coverage ：0->1 ,1->0
路徑覆蓋率 Path coverage ：initial 和always里的語句
分支覆蓋率 branch coverage
-cm line+cond+fsm+branch+tgl為生成什么條件的覆蓋率
Makefile文件中覆蓋率腳本：
執(zhí)行vcs
產(chǎn)生的.vdb文件為產(chǎn)生覆蓋率的信息
一步步cd進去可以看到coverage文件
下面進行覆蓋率查看，輸入如下命令 dve -covdir *.vdb &
彈出DVE界面，通過DVE查看覆蓋率（方法1）
雙擊tb_state 進入，可以看到代碼會有顏色標注，覆蓋到的為綠色，沒有覆蓋到的為紅色
Line coverage
Toggle coverage
FSM coverage
Condition coverage
Branch coverage
通過URG查看覆蓋率（方法2），可以以文本格式或者網(wǎng)頁格式顯示覆蓋率
點擊run，產(chǎn)生urgReport；
或者在命令欄urg -dir *.vdb &
ls之后可以看到urgReport，cd進去可以看到.html文件和 .xml文件
會顯示很詳細的覆蓋率報告
Tb文件：
Module文件
上述內(nèi)容就是Linux下VCS覆蓋率檢查是什么，你們學(xué)到知識或技能了嗎？如果還想學(xué)到更多技能或者豐富自己的知識儲備，歡迎關(guān)注億速云行業(yè)資訊頻道。
免責(zé)聲明：本站發(fā)布的內(nèi)容（圖片、視頻和文字）以原創(chuàng)、轉(zhuǎn)載和分享為主，文章觀點不代表本網(wǎng)站立場，如果涉及侵權(quán)請聯(lián)系站長郵箱：is@yisu.com進行舉報，并提供相關(guān)證據(jù)，一經(jīng)查實，將立刻刪除涉嫌侵權(quán)內(nèi)容。
億速云公眾號
手機網(wǎng)站二維碼
