1. VCS起效的时间是time 0,VC formal起效的时间是reset完成,reset完成的时候,其他信号不做特别约束的情况是,会是从x态到0或者1,这样会误引入这个信号的下降沿或者上升沿,个别不健壮的assertion写法可能会fail。
持续更新。。。
1. VCS起效的时间是time 0,VC formal起效的时间是reset完成,reset完成的时候,其他信号不做特别约束的情况是,会是从x态到0或者1,这样会误引入这个信号的下降沿或者上升沿,个别不健壮的assertion写法可能会fail。
持续更新。。。