modelsim实验教程 下载本文

本窗口用于列出所指定的不进行覆盖统计的所有文件和行。 (1)设置排出文件

如图33,右击所选中的项,按图所示操作

图33

操作完后,在Current Exclusion窗口就会出现被排除的文件,同时源代码窗口的Hits栏的一些行会出现

,表明这些行不做代码覆盖统计。如图34所示

图34

在Current Exclusion窗口中右击需要取消排除设置的文件,选择Cancel Selected Exclusions,恢复成原状,可以做代码覆盖率。如图35所示:

图35

(2)设置排出行

如图36,在源代码窗口右击Hits栏中需要排除行的图标,图中为105行,选择第

一个选项。

图36

之后,在Current Exclusion窗口会显示出被排除的行信息,同时在源代码窗口,被排除行的Hits栏会出现

,表明该行不做代码覆盖统计。如图37所示

图37

取消排除行操作同上。如图38

图38

Details(详细资料窗)窗口:

本窗口显示了如真值表或翻转细节等详细的未被覆盖到的情况。 当在Missed Coverage窗口中选择一行,可以在Details窗口中查看相应的详细信息,如图39:

图39

Instance Coverage(实例覆盖列表窗)

本窗口显示了每个实例的覆盖统计。如图40

图40

Objects Window(信号窗口)

在该窗口中可以查看状态翻转统计,翻转覆盖统计了信号从一个状态变换到另一个状态的次数。

具体操作入图41所示:

图41

上述操作完之后出现Objects窗口,这样就可以查看每个信号翻转的具体情况。如图42

图42

6.实验结论

如图43所示,在主窗口菜单栏选择Tool—>Code Coverage—>Reports

图43