---恢復內容開始---
- vcs腳本命令中包含六種覆蓋率分析選項:-cm line|cond|fsm|tgl|path|branch|assert,分別代表行覆蓋率|條件覆蓋率|狀態機覆蓋率|翻轉覆蓋率|路徑覆蓋率|分支覆蓋率|斷言覆蓋率
- line_coverage:仿真代碼中行和語句的覆蓋情況;cond_coverage:表明代碼中條件語句的覆蓋情況;fsm_coverage:狀態機中各個狀態的覆蓋情況;tgl_coverage:代碼中信號的0到1,1到0的翻轉情況;obc:表明代碼中的分支覆蓋情況(if_else,case,及三元操作符);path_coverage:表明代碼中數據通路的覆蓋情況;
- UVF采用行覆蓋率、條件覆蓋率、狀態機覆蓋率和分支覆蓋率作為代碼覆蓋率的判斷標准;
- 分支覆蓋率和條件覆蓋率有什么不同呢?分支覆蓋率是每個分支是否被運行及其運行的次數,與行覆蓋率有點類似作用,而條件覆蓋i率是條件的內容出現的組合情況是否都出現過,這個可以驗證這個條件寫的合不合理;
- 功能覆蓋率基於控制的SVA斷言覆蓋率及基於數據的功能覆蓋率,即coverage group中的容器被擊中的情況;