Debugging Violations Using GUI
启动和运行检查
所有在batch模式下执行的任务都可以在GUI模式下执行。你可以在vc_static_shell下用下面的命令启动GUI。
vc_static_shell> start_gui
或者
vc_static_shell> view_activity
如果运行vc_static_shell时提示[Error]Another session is already running or previous run had some issues，表示当前目录下已经启动了一个vc_spyglass，需要关闭之前启动的程序或者换个目录启动。
启动后的界面分为两部分
- activity tree（左侧）
- data view （右侧）
出现GUI界面后，点击VC_Static-Design Setup，data view会出现当前目录下找到的所有tcl文件。单击tcl文件即可执行。执行完检查后，activity tree中会出现Verification，位于Desgin Set下方。
点击Verification在data view中会出现对设计执行的检查。点击Show_Check_Controls显示执行按钮，如Check_Lint，点击后面的+号可以选择自带的Methodology和Goal。
消息摘要视图
点击Verification下的CDC, CDC/RDC, Lint，在data view视图中会显示检查的概要情况。
这个界面下可以选择Stage Order Summry和Severity Order Summary两种视图。
如果是CRC/RDC检查的消息摘要，还有多个导出按钮。
分析结果
1.单击左侧的tag，和该tag相关的信息都会在右侧data view视图中显示。
2.点击help view可以查看该tag的解释，解决办法。
3.单击右上方的设置图标Setting，可以选择违例分类的方式。
4.Locators 用来查看跨时钟域的源和目的端点。默认打开，按钮弹起关闭。如果开启，打开原理图后才会显示出错的端口。
5.点击New Violation Schematic打开违例原理图。在ReasonInfoList中选择ReasonCode查看具体违例原因。
原理图中颜色相同的是同一个时钟域，Verdi默认在原理图云中最多显示4个。
原理图中的Operator-based云
调试包含大量对象的原理图很困难。当多个连续对象显示在同一分层范围时，工具就会创建云。双击云会显示它封装的所有内容。