sv使用default clocking指定全局默认时钟
在sv的assertion中,会用到时钟打拍操作。一般会在assertion代码块中,显示的写上使用的时钟,property counter_2; @(posedge clk) counter == 2 |-> ##1 counter_r == 2;endpropertyassert_counter_2: assert property(counter_2);如果说,不写使用的时钟,即如下代码:property counter_2;...
原创
2020-06-02 13:59:49 ·
2596 阅读 ·
0 评论