作者：默宸

Modelsim代碼覆蓋率功能Code coverage，能報告出statement（語句）、branch（分支）、condition（條件）、expression（表達）、toggle（信號翻轉(zhuǎn)）、fsm（有限狀態(tài)機）等多種覆蓋率情況。

1、編譯選項（compile option）：

在Modelsim的Workspace里選中需要查看代碼覆蓋率的文件，然后點擊右鍵選擇compile—>compile properties，如下圖所示。

之后選擇“Coverage”選項，出現(xiàn)下圖所示的窗口，根據(jù)需要選擇選項，這里選statement、branch、condition、expression和toggle。選完點ok。

2、編譯（compile）

點工具欄中的，編譯所有的選中的文件，成功后進行下面的步驟。

3、仿真（simulate）

點工具欄中的，出現(xiàn)下面的窗口：

（注：不要選擇“Enable optimization”）

選擇Others，出現(xiàn)如下圖所示的窗口：

選擇“Enable code coverage”后點“ok”后出現(xiàn)下面的窗口：

4、觀察結(jié)果

完成以上操作后，代碼覆蓋率的窗口就出現(xiàn)了，點擊（run –all）之后代碼覆蓋率的情況就出現(xiàn)在各窗口中。

下面介紹各子窗口：

（1）Workspace窗口

在workspace窗口選擇Files標(biāo)簽頁并拖動滾動條到右側(cè)，設(shè)計的每個文件顯示了語句、分支、條件和表達式等語句的執(zhí)行覆蓋率匯總統(tǒng)計信息。

在workspace窗口選擇Files標(biāo)簽頁并拖動滾動條到右側(cè)，本窗口將以設(shè)計中的每一條目來顯示執(zhí)行覆蓋統(tǒng)計。

（2）Missed Coverage（未覆蓋到對象列表窗）窗口
本窗口用于顯示所選擇文件未被執(zhí)行的語句、分支、條件、表達式或未翻轉(zhuǎn)過的信號。

在workspace窗口的Files標(biāo)簽頁中選擇不同的文件，Missed Coverage窗口的顯示會隨著選擇的文件而更新。

上圖為分支覆蓋率的情況

上圖為statement coverage（語句覆蓋率）的情況。此時選擇任何一個實體在源代碼窗口中顯示相應(yīng)的行，設(shè)計如果包含為被執(zhí)行的語句或分支的行，則被粉紅色高亮顯示，如下圖。圖中包含了Hits 和BC 欄用來顯示語句執(zhí)行（statement Hits）和分支覆蓋（BC）的情況。

如下圖所示，在主窗口菜單欄選擇Tool—>Code Coverage—>Show coverage number.

Hits和BC 欄中的每一行圖標(biāo)將會被數(shù)字代替，這些數(shù)字代表了該語句或分支被執(zhí)行的次數(shù)。

下表描述了個圖標(biāo)的含義：

（3）Current Exclusion（當(dāng)前不做覆蓋率統(tǒng)計列表窗）

本窗口用于列出所指定的不進行覆蓋統(tǒng)計的所有文件和行。

3.1 設(shè)置排出文件

如圖，右擊所選中的項，按圖所示操作，

操作完后，在Current Exclusion窗口就會出現(xiàn)被排除的文件，同時源代碼窗口的Hits欄的一些行會出現(xiàn)，表明這些行不做代碼覆蓋統(tǒng)計。

在Current Exclusion窗口中右擊需要取消排除設(shè)置的文件，選擇Cancel Selected Exclusions，恢復(fù)成原狀，可以做代碼覆蓋率。

3.2 設(shè)置排出行

如圖，在源代碼窗口右擊Hits欄中需要排除行的圖標(biāo)，圖中為105行，選擇第一個選項。

之后，在Current Exclusion窗口會顯示出被排除的行信息，同時在源代碼窗口，被排除行的Hits欄會出現(xiàn)，表明該行不做代碼覆蓋統(tǒng)計。

取消排除行操作同上。

（4）Details（詳細資料窗）窗口：

本窗口顯示了如真值表或翻轉(zhuǎn)細節(jié)等詳細的未被覆蓋到的情況。

當(dāng)在Missed Coverage窗口中選擇一行，可以在Details窗口中查看相應(yīng)的詳細信息，如下圖：

（5）Instance Coverage（實例覆蓋列表窗）

本窗口顯示了每個實例的覆蓋統(tǒng)計。

（6）Objects Window（信號窗口）

在該窗口中可以查看狀態(tài)翻轉(zhuǎn)統(tǒng)計，翻轉(zhuǎn)覆蓋統(tǒng)計了信號從一個狀態(tài)變換到另一個狀態(tài)的次數(shù)。

具體操作入下圖所示：

上述操作完之后出現(xiàn)Objects窗口，這樣就可以查看每個信號翻轉(zhuǎn)的具體情況。

5、創(chuàng)建代碼覆蓋率報告
如下圖所示，在主窗口菜單欄選擇Tool—>Code Coverage—>Reports

出現(xiàn)下圖所示的子窗口（報告設(shè)置窗口），根據(jù)需求設(shè)置各選項和報告存放路徑。

點ok后即可查看Code Coverage Report：