Syetem Verilog题目

1. 如图,断言在那个时钟沿开始的时序可以判决成功。(19汇顶)

property test_seq_2;
    @( posedge clk ) @rose (start) |->
    ##3 ( ( a ##2 b)[*2] ) ##2 stop
endproperty
assert property(test_seq_2);

以下哪条System Verilog断言准确描述了以下的波形? 断言必须描述出波形中用O标识出的表达式序列。