断言的first_match问题

dongdongic

下面断言用first_match在dataout的首次上升沿检查ok, 不过第二次上升沿它还在检查导致fail。具体如下：
  @(negedge clock) disable iff(!reset)
  (
   (!datain,local_cnt=32'h0)##1
   ((payload0==8'ha2&&lastb&&datain),local_cnt=local_cnt+1)[*0]##1 first_match($rose(dataout))|->
   ((local_cnt-72)%128==0)
  );

请问该如何正确描述？谢谢！