Modelsim查看ATV Window(ModelSim® SE GUI Reference Manual, v10.6d Chapter4.2 ATV Window)
一、打开ATV界面1.1、点击“View”,在弹出的assertions界面中查看显示的断言;1.2、在断言界面显示的窗口中,右键选择某个断言,鼠标右键“EnableATV”,再点击“ViewATV”,1.3、再弹出的“ViewThread”中,看到失败、成功、激活的断言,选择其中的某一个断言时间,点击“OK”后,显示如下的界面;二、ATV窗口的GUI元素ATV窗口包含四个窗格(在用户手册中有更详