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