verdi 知识结构更新
1. verdi 加强了active anotation， active trace和trace this value的能力，并且引入了Temperal flow view。在trace X的时侯面对很多选项，推举的快速定位的方法是： 1） 找出来自于信号源的明显的错误，譬如（uninitialize，setup, hold time voilation, no drivers）
