摘要：
1. verdi 加强了active anotation， active trace和trace this value的能力，并且引入了Temperal flow view。在trace X的时侯面对很多选项，推举的快速定位的方法是： 1） 找出来自于信号源的明显的错误，譬如（uninitialize，setup, hold time voilation, no drivers） •Stop at black box output signal (ON) • Stop at fanin that is X but no transition in its last cycle (OFF) • 阅读全文
