Modelsim查看ATV Window（ModelSim® SE GUI Reference Manual, v10.6d Chapter4.2 ATV Window）

一、打开ATV界面

1.1、点击“View”，在弹出的assertions界面中查看显示的断言；

1.2、在断言界面显示的窗口中，右键选择某个断言，鼠标右键“Enable ATV”,再点击“View ATV”，

1.3、再弹出的“View Thread”中，看到失败、成功、激活的断言，选择其中的某一个断言时间，点击“OK”后，显示如下的界面；

二、ATV窗口的GUI元素

        ATV窗口包含四个窗格（在用户手册中有更详细的描述）：
                •--显示断言的层次表示。
                •--显示给定线程实例和启动时间的断言线程随时间推移的进度。
                •--显示断言中与局部变量相关的任何值。
                •--显示当时表达式中设计对象的值。
        表4-4中的图形符号表示断言或覆盖指令的当前状态。图4-2显示了当您将鼠标悬停在用于指示时钟、线程和指令状态的图形符号上时显示的状态信息。右键单击窗口以显示弹出菜单并选择一个选项。